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

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)

Benoit Gaudou, Jaime Simao Sichman - Multi-agent Based Simulation XVI

Benoit Gaudou, Jaime Simao Sichman Multi-agent Based Simulation XVI English 15.03.2016 Paperback / Softback Fr. 58.50 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)

Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method English 13.03.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hana Chockler, Georg Weissenbacher - Computer Aided Verification

Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hana Chockler, Georg Weissenbacher - Computer Aided Verification

Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

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)

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)

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)

Roland Groz, Robert M. Hierons - Testing of Communicating Systems, TestCom 2004

Roland Groz, Robert M. Hierons Testing of Communicating Systems, TestCom 2004 English 02.03.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)

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)

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)

Wil Van Der Aalst, Eike Best, Wil van der Aalst - Application and Theory of Petri Nets and Concurrency

Wil Van Der Aalst, Eike Best, Wil van der Aalst Application and Theory of Petri Nets and Concurrency English 05.05.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School

Zoltán Horváth, Zoltán Horváth Central European Functional Programming School English 02.10.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

1
2
3
4
...
11