Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

First name * Lastname * E-mail * Customer number Order number Subject * Message *

This form sends us technical details about your browser in addition to the current URL in the shop. This may help us to better understand your feedback. You can find detailed information about this in our Privacy statement .

By submitting this form you agree to our data privacy statement.

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Please go to www.CeDe.com for deliveries to countries different from Switzerland and Germany.

Close

Top service and free shipping since 1997

Wish list

Deliverability

Language version

Topic

Product form

maximum price

Search result (Theory of Computation)

Amir Goharshady, Haase, Christoph Haase - Dependable Software Engineering. Theories, Tools, and Applications 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings

Amir Goharshady, Haase, Christoph Haase Dependable Software Engineering. Theories, Tools, and Applications English 17.05.2026 Paperback / Softback CHF 103.00 6-7 weeks

James Jong Hyuk Park, James Jong Hyuk Park, Hui Tian, Yong Zhang - Parallel and Distributed Computing, Applications and Technologies 26th International Conference, PDCAT 2025, Gold Coast, QLD, Australia, November 22-24, 2025, Proceedings

James Jong Hyuk Park, James Jong Hyuk Park, Hui Tian, Yong Zhang Parallel and Distributed Computing, Applications and Technologies English Paperback / Softback CHF 123.00 Will be released 22.05.2026

Zhifeng Hao, Han Huang - Advances in Theories of Swarm Intelligence

Zhifeng Hao, Han Huang Advances in Theories of Swarm Intelligence English Hardback CHF 215.00 Will be released 09.05.2026

Ahmed Ashur, Tammam Benmusa, Nabil Drawil, Mohamed Samir Elbuni, Issmail Ellabib, … - Information and Communications Technologies Third International Libyan Conference, ILCICT 2025 Tripoli, Libya, September 9-11, 2025 Proceedings

Ahmed Ashur, Tammam Benmusa, Nabil Drawil, Mohamed Samir Elbuni, Issmail Ellabib, … Information and Communications Technologies English Paperback / Softback CHF 103.00 Will be released 27.05.2026

Martin S. Krejca, Pillay, Nelishia Pillay, Martin S Krejca - Evolutionary Computation in Combinatorial Optimization 26th European Conference, EvoCOP 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings

Martin S. Krejca, Pillay, Nelishia Pillay, Martin S Krejca Evolutionary Computation in Combinatorial Optimization English 27.05.2026 Paperback / Softback CHF 81.00 6-7 weeks

Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik - Agents and Artificial Intelligence 17th International Conference, ICAART 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers, Part III

Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik Agents and Artificial Intelligence English Paperback / Softback CHF 132.00 Will be released 29.05.2026

Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik - Agents and Artificial Intelligence 17th International Conference, ICAART 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers, Part II

Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik Agents and Artificial Intelligence English Paperback / Softback CHF 132.00 Will be released 29.05.2026

Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik - Agents and Artificial Intelligence 17th International Conference, ICAART 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers, Part I

Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik Agents and Artificial Intelligence English Paperback / Softback CHF 132.00 Will be released 29.05.2026

Fernando Ortiz-Rodríguez, Pramod Patil, Shishir Shandilya, Kailash Shaw, Shubhangi Suryawanshi, … - Business Intelligence, Computational Mathematics, and Data Analytics Second International Conference, IBCD 2025, Pune, India, September 26-27, 2025, Proceedings

Fernando Ortiz-Rodríguez, Pramod Patil, Shishir Shandilya, Kailash Shaw, Shubhangi Suryawanshi, … Business Intelligence, Computational Mathematics, and Data Analytics English 30.05.2026 Paperback / Softback CHF 104.00 6-7 weeks

Faisal Abu-Khzam, Joseph P. Barr, Joseph R. Barr, Jon Haass - Areas of Success for AI Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

Faisal Abu-Khzam, Joseph P. Barr, Joseph R. Barr, Jon Haass Areas of Success for AI English 02.05.2026 Paperback / Softback CHF 199.00 6-7 weeks

Marcello Bonsangue, Chen, Yixiang Chen - Artificial Intelligence Logic and Applications 5th International Conference, AILA 2025, Xi'an, China, August 16-17, 2025, Proceedings

Marcello Bonsangue, Chen, Yixiang Chen Artificial Intelligence Logic and Applications English Paperback / Softback CHF 103.00 Will be released 31.05.2026

Carlos Fernandez-Llatas, Owen Johnson, Jose M. Juarez, Denisse Kim, Denisse Kim et al, … - Explainable Artificial Intelligence and Process Mining Applications for Healthcare 4th International Workshop, XAI-Healthcare 2025, and 2nd International Workshop, PM4H 2025, Pavia, Italy, June 26, 2025, Proceedings

Carlos Fernandez-Llatas, Owen Johnson, Jose M. Juarez, Denisse Kim, Denisse Kim et al, … Explainable Artificial Intelligence and Process Mining Applications for Healthcare English Paperback / Softback CHF 83.00 Will be released 23.04.2026

Anne E Haxthausen et al, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice ter Beek, … - Journeys Between Formal Methods and the Railway Industry Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Anne E Haxthausen et al, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice ter Beek, … Journeys Between Formal Methods and the Railway Industry English 11.06.2026 Paperback / Softback CHF 133.00 6-7 weeks

Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … - Advances in Computer Graphics 42nd Computer Graphics International Conference, CGI 2025, Hong Kong, China, July 14-18, 2025, Proceedings, Part II

Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … Advances in Computer Graphics English Paperback / Softback CHF 102.00 Will be released 12.06.2026

Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … - Advances in Computer Graphics 42nd Computer Graphics International Conference, CGI 2025, Hong Kong, China, July 14-18, 2025, Proceedings, Part III

Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … Advances in Computer Graphics English Paperback / Softback CHF 102.00 Will be released 12.06.2026

Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … - Advances in Computer Graphics 42nd Computer Graphics International Conference, CGI 2025, Hong Kong, China, July 14-18, 2025, Proceedings, Part I

Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … Advances in Computer Graphics English Paperback / Softback CHF 102.00 Will be released 12.06.2026

Sebastian Junges, Katz, Guy Katz - Tools and Algorithms for the Construction and Analysis of Systems 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

Sebastian Junges, Katz, Guy Katz Tools and Algorithms for the Construction and Analysis of Systems English 17.06.2026 Paperback / Softback CHF 56.90 6-7 weeks

Elvira Albert, Pasareanu, Corina Pasareanu - Fundamental Approaches to Software Engineering 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings

Elvira Albert, Pasareanu, Corina Pasareanu Fundamental Approaches to Software Engineering English 17.06.2026 Paperback / Softback CHF 56.90 6-7 weeks

Sebastian Junges, Katz, Guy Katz - Tools and Algorithms for the Construction and Analysis of Systems 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Sebastian Junges, Katz, Guy Katz Tools and Algorithms for the Construction and Analysis of Systems English 17.06.2026 Paperback / Softback CHF 55.90 6-7 weeks

Nathalie Bertrand, Milius, Stefan Milius - Foundations of Software Science and Computation Structures 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings

Nathalie Bertrand, Milius, Stefan Milius Foundations of Software Science and Computation Structures English 17.06.2026 Paperback / Softback CHF 55.90 6-7 weeks

1
2
3
4
…
228