Search result - Books - CeDe.ch

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!

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

Top service and free shipping since 1997

Search result

Alfred Tarski - Collected Papers

Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 262.00 6-7 weeks

Marcus Kracht - Interpreted Languages and Compositionality

Marcus Kracht Interpreted Languages and Compositionality English 11.09.2013 Paperback / Softback Fr. 158.00 6-7 weeks

Canton, Domenic Cantone, Domenico Cantone, Omode, Eugeni Omodeo, Eugenio Omodeo... - Set Theory for Computing

Canton, Domenic Cantone, Domenico Cantone, Omode, Eugeni Omodeo, Eugenio Omodeo... Set Theory for Computing English 27.10.2010 Paperback / Softback Fr. 193.00 6-7 weeks

Colin Stirling - Modal and Temporal Properties of Processes

Colin Stirling Modal and Temporal Properties of Processes English 27.10.2010 Paperback / Softback Fr. 117.00 6-7 weeks

David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu - Intelligent Information Processing VII

David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu Intelligent Information Processing VII English 01.10.2014 Hardback Fr. 70.00 6-7 weeks

Mohammad Mousavi, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Sgall, Sgall... - Topics in Theoretical Computer Science

Mohammad Mousavi, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Sgall, Sgall... Topics in Theoretical Computer Science English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... - PRIMA 2017: Principles and Practice of Multi-Agent Systems

Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... PRIMA 2017: Principles and Practice of Multi-Agent Systems English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Johan Van Benthem, Sujat Ghosh, Sujata Ghosh, Sujata Gosh, Johan van Benthem, Rineke Verbrugge - Models of Strategic Reasoning

Johan Van Benthem, Sujat Ghosh, Sujata Ghosh, Sujata Gosh, Johan van Benthem, Rineke Verbrugge Models of Strategic Reasoning English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Cyrille Artho, Axe Legay, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis

Cyrille Artho, Axe Legay, Axel Legay, Doron Peled Automated Technology for Verification and Analysis English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang - Theoretical Aspects of Computing - ICTAC 2016

August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang Theoretical Aspects of Computing - ICTAC 2016 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Jos C. M. Baeten, Jos C.M. Baeten, Joseph C. M. Baeten, To Ball, Tom Ball, Frank S. de Boer... - Theoretical Computer Science

Jos C. M. Baeten, Jos C.M. Baeten, Joseph C. M. Baeten, To Ball, Tom Ball, Frank S. de Boer... Theoretical Computer Science English 21.08.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Souhila Kaci - Working with Preferences: Less Is More

Souhila Kaci Working with Preferences: Less Is More English 09.08.2013 Paperback / Softback Fr. 135.00 6-7 weeks

Lotfi Zadeh, Lotfi A Zadeh, Lotfi A. Zadeh - Computing with Words

Lotfi Zadeh, Lotfi A Zadeh, Lotfi A. Zadeh Computing with Words English 01.01.2014 Paperback / Softback Fr. 135.00 6-7 weeks

Dov M Gabbay, Dov M. Gabbay - Reactive Kripke Semantics

Dov M Gabbay, Dov M. Gabbay Reactive Kripke Semantics English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks

J¿me Euzenat, Jérôm Euzenat, Jérôme Euzenat, Pavel Shvaiko - Ontology Matching

J¿me Euzenat, Jérôm Euzenat, Jérôme Euzenat, Pavel Shvaiko Ontology Matching English 01.01.2016 Paperback / Softback Fr. 207.00 6-7 weeks

Xavie Rival, Xavier Rival - Static Analysis

Xavie Rival, Xavier Rival Static Analysis English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... - Reachability Problems

Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... Reachability Problems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

Carlo Cellucci - Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Carlo Cellucci Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method English 01.01.2016 Paperback / Softback Fr. 179.00 6-7 weeks

Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... - Scalable Uncertainty Management

Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... Scalable Uncertainty Management English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks

Gerhard Friedrich, Malt Helmert, Malte Helmert, Franz Wotawa - KI 2016: Advances in Artificial Intelligence

Gerhard Friedrich, Malt Helmert, Malte Helmert, Franz Wotawa KI 2016: Advances in Artificial Intelligence English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks

1
...
43
44
45
...
51