Languages
Subject
Format
Availabity
Authors

Search result

Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems English 14.04.2018 Paperback / Softback Sold out
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Sold out
Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing - ICTAC 2017
Dang Van Hung, Deepak Kapur Theoretical Aspects of Computing - ICTAC 2017 English 17.09.2017 Paperback / Softback Sold out
Markus Lumpe, José Proença - Formal Aspects of Component Software
Markus Lumpe, José Proença Formal Aspects of Component Software English 14.09.2017 Paperback / Softback Sold out
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods English 09.04.2017 Paperback / Softback Sold out
Marcello Balduccini, Tomi Janhunen - Logic Programming and Nonmonotonic Reasoning
Marcello Balduccini, Tomi Janhunen Logic Programming and Nonmonotonic Reasoning English 29.06.2017 Paperback / Softback Sold out
Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman - Coordination, Organizations, Institutions, and Norms in Agent Systems XI
Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman Coordination, Organizations, Institutions, and Norms in Agent Systems XI English 14.07.2016 Paperback / Softback Sold out
Marco Bozzano, Yiannis Papadopoulos - Model-Based Safety and Assessment
Marco Bozzano, Yiannis Papadopoulos Model-Based Safety and Assessment English 02.08.2017 Paperback / Softback Sold out
Maya Daneva, Oscar Pastor - Requirements Engineering: Foundation for Software Quality
Maya Daneva, Oscar Pastor Requirements Engineering: Foundation for Software Quality English 04.03.2016 Paperback / Softback Sold out
Paola Festa, Meinolf Sellmann, Joaquin Vanschoren - Learning and Intelligent Optimization
Paola Festa, Meinolf Sellmann, Joaquin Vanschoren Learning and Intelligent Optimization English 06.12.2016 Paperback / Softback Sold out
Simon Devitt, Ivan Lanese - Reversible Computation
Simon Devitt, Ivan Lanese Reversible Computation English 30.06.2016 Paperback / Softback Sold out
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 Sold out
Alberto Lluch Lafuente, José Proença - Coordination Models and Languages
Alberto Lluch Lafuente, José Proença Coordination Models and Languages English 27.06.2016 Paperback / Softback Sold out
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming English 11.01.2017 Paperback / Softback Sold out
Gul Agha, Benny van Houdt, Benny Van Houdt - Quantitative Evaluation of Systems
Gul Agha, Benny van Houdt, Benny Van Houdt Quantitative Evaluation of Systems English 03.08.2016 Paperback / Softback Sold out
Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science English 04.06.2016 Paperback / Softback Sold out
Elvira Albert, Ivan Lanese - Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese Formal Techniques for Distributed Objects, Components, and Systems English 27.06.2016 Paperback / Softback Sold out
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik Verified Software. Theories, Tools, and Experiments English 08.11.2016 Paperback / Softback Sold out
Paolo Baldan, University of Roma "La Sapienza" - CONCUR 2014 - Concurrency Theory
Paolo Baldan, University of Roma "La Sapienza" CONCUR 2014 - Concurrency Theory English 06.08.2014 Paperback / Softback Sold out
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Jan Martijn van der Werf - Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Jan Martijn van der Werf Web Services, Formal Methods, and Behavioral Types English 20.04.2016 Paperback / Softback Sold out