Languages
Subject
Format
Availabity
Authors

Search result

Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff - Programming Multi-Agent Systems
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff Programming Multi-Agent Systems English 29.04.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs English 26.05.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods
Dimitra Giannakopoulou, Dominique Mery FM 2012: Formal Methods English 21.07.2012 Paperback / Softback Fr. 69.00 6-7 weeks
Jeanne Reed, Rick Reed - SDL 2001: Meeting UML
Jeanne Reed, Rick Reed SDL 2001: Meeting UML English 18.06.2001 Paperback / Softback Fr. 69.00 6-7 weeks
Arnaud Carayol, Cyril Nicaud - Implementation and Application of Automata
Arnaud Carayol, Cyril Nicaud Implementation and Application of Automata English 28.05.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Cezar Câmpeanu, Giovanni Pighizzini - Descriptional Complexity of Formal Systems
Cezar Câmpeanu, Giovanni Pighizzini Descriptional Complexity of Formal Systems English 03.06.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Supratik Chakraborty, Madhavan Mukund - Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund Automated Technology for Verification and Analysis English 16.08.2012 Paperback / Softback Fr. 69.00 6-7 weeks
Andréa W. Richa, Christian Scheideler - Stabilization, Safety, and Security of Distributed Systems
Andréa W. Richa, Christian Scheideler Stabilization, Safety, and Security of Distributed Systems English 22.08.2012 Paperback / Softback Fr. 69.00 6-7 weeks
Kazuhiro Kuwabara, Jaeho Lee - Intelligent Agents and Multi-Agent Systems
Kazuhiro Kuwabara, Jaeho Lee Intelligent Agents and Multi-Agent Systems English 05.08.2002 Paperback / Softback Fr. 69.00 6-7 weeks
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms English 06.11.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Fabrice Kordon, Janos Sztipanovits - Reliable Systems on Unreliable Networked Platforms
Fabrice Kordon, Janos Sztipanovits Reliable Systems on Unreliable Networked Platforms English 28.02.2007 Paperback / Softback Fr. 69.00 6-7 weeks
Pieter van Gorp, Tom Ritter, Louis M Rose, Pieter Van Gorp - Modelling Foundations and Applications
Pieter van Gorp, Tom Ritter, Louis M Rose, Pieter Van Gorp Modelling Foundations and Applications English 06.06.2013 Paperback / Softback Fr. 65.00 6-7 weeks
Michael Johnson, Varmo Vene - Algebraic Methodology and Software Technology
Michael Johnson, Varmo Vene Algebraic Methodology and Software Technology English 27.06.2006 Paperback / Softback Fr. 69.00 6-7 weeks
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild - Task Models and Diagrams for User Interface Design
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild Task Models and Diagrams for User Interface Design English 18.02.2010 Paperback / Softback Fr. 69.00 6-7 weeks
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych - Information and Communication Technologies in Education, Research, and Industrial Applications
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych Information and Communication Technologies in Education, Research, and Industrial Applications English 05.12.2013 Paperback / Softback Fr. 69.00 6-7 weeks
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer - Formal Methods for Components and Objects
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer Formal Methods for Components and Objects English 03.01.2013 Paperback / Softback Fr. 69.00 6-7 weeks
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün - Formal Aspects of Component Software
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün Formal Aspects of Component Software English 09.01.2013 Paperback / Softback Fr. 65.00 6-7 weeks
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych - ICT in Education, Research, and Industrial Applications
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych ICT in Education, Research, and Industrial Applications English 11.01.2013 Paperback / Softback Fr. 69.00 6-7 weeks
Markus Müller-Olm - Variations on Constants
Markus Müller-Olm Variations on Constants English 02.10.2006 Paperback / Softback Fr. 69.00 6-7 weeks
Satoshi Kobayashi, Tetsuro Nishino, Yasibumi Sakaibara, Kengo Sato, Etsuji Tomita - Grammatical Inference: Algorithms and Applications
Satoshi Kobayashi, Tetsuro Nishino, Yasibumi Sakaibara, Kengo Sato, Etsuji Tomita Grammatical Inference: Algorithms and Applications English 18.09.2006 Paperback / Softback Fr. 69.00 6-7 weeks