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

Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017

Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 English 09.08.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... - Transactions on Computational Collective Intelligence XXV

Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... Transactions on Computational Collective Intelligence XXV English 28.09.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Nadia Polikarpova, Steve Schneider - Integrated Formal Methods

Nadia Polikarpova, Steve Schneider Integrated Formal Methods English 27.08.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Alessio Lomuscio, Donald Nute - Deontic Logic in Computer Science

Alessio Lomuscio, Donald Nute Deontic Logic in Computer Science English 12.05.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Viviana Mascardi, Alessandro Ricci, Danny Weyns - Engineering Multi-Agent Systems

Viviana Mascardi, Alessandro Ricci, Danny Weyns Engineering Multi-Agent Systems English 14.07.2019 Paperback / Softback Fr. 91.00 1-2 weeks (title will be printed to order)

Alessandro Armando - Frontiers of Combining Systems

Alessandro Armando Frontiers of Combining Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Thomas Arts, Ricardo Pena - Implementation of Functional Languages

Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs

Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs English 18.06.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Eva Kühn, Rosario Pugliese - Coordination Models and Languages

Eva Kühn, Rosario Pugliese Coordination Models and Languages English 24.07.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Tony Clark, Jos Warmer - Object Modeling with the OCL

Tony Clark, Jos Warmer Object Modeling with the OCL English 27.02.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan Modeling and Verification of Parallel Processes English 24.10.2001 Paperback / Softback Fr. 59.90 1-2 weeks (title will be printed to order)

Ichiro Hasuo - Coalgebraic Methods in Computer Science

Ichiro Hasuo Coalgebraic Methods in Computer Science English 04.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations

Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Amal Ahmed - Programming Languages and Systems

Amal Ahmed Programming Languages and Systems English 15.04.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z English 08.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages

Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages English 05.04.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Corrado Priami, Paola Quaglia - Global Computing

Corrado Priami, Paola Quaglia Global Computing English 22.02.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Sandro Etalle - Logic Based Program Synthesis and Transformation

Sandro Etalle Logic Based Program Synthesis and Transformation English 24.06.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Marc-Philippe Huget, Marc-Phillipe Huget - Communication in Multiagent Systems

Marc-Philippe Huget, Marc-Phillipe Huget Communication in Multiagent Systems English 25.06.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming English 11.01.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
11