Languages
Subject
Format
Availabity
Authors

Search result

Janis Brinkmann - Journalismus
Janis Brinkmann Journalismus German 01.10.2024 Paperback / Softback Fr. 37.90 4-7 working days
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)
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)
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)
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)
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)
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software English 09.08.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)
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)
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)
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)
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)
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)
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)
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems English 12.09.2005 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)
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)
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)
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)