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 12.04.2018 Paperback / Softback Sold out
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures English 14.04.2018 Paperback / Softback Sold out
Alessandro Abate, Gilles Geeraerts - Formal Modeling and Analysis of Timed Systems
Alessandro Abate, Gilles Geeraerts Formal Modeling and Analysis of Timed Systems English 03.08.2017 Paperback / Softback Sold out
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World English 31.03.2016 Paperback / Softback Sold out
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd English 29.09.2017 Paperback / Softback Sold out
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles English 18.12.2016 Paperback / Softback Sold out
Alessandro Abate, David Safranek - Hybrid Systems Biology
Alessandro Abate, David Safranek Hybrid Systems Biology English 10.01.2016 Paperback / Softback Sold out
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods English 04.06.2016 Paperback / Softback Sold out
Paolo Milazzo, Dániel Varró, Manuel Wimmer - Software Technologies: Applications and Foundations
Paolo Milazzo, Dániel Varró, Manuel Wimmer Software Technologies: Applications and Foundations English 06.12.2016 Paperback / Softback Sold out
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron - Membrane Computing
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron Membrane Computing English 01.01.2018 Paperback / Softback Sold out
Barbara Jobstmann, K. Rustan M. Leino - Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino Verification, Model Checking, and Abstract Interpretation English 26.12.2015 Paperback / Softback Sold out
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering English 29.06.2017 Paperback / Softback Sold out
Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron - Membrane Computing
Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron Membrane Computing English 03.02.2016 Paperback / Softback Sold out
Rachid Echahed, Mark Minas - Graph Transformation
Rachid Echahed, Mark Minas Graph Transformation English 22.06.2016 Paperback / Softback Sold out
Ahmed Bouajjani, Alexandra Silva - Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva Formal Techniques for Distributed Objects, Components, and Systems English 28.05.2017 Paperback / Softback Sold out
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study English 26.05.2014 Paperback / Softback Sold out
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 Sold out
Ralf Klasing, Marc Zeitoun - Fundamentals of Computation Theory
Ralf Klasing, Marc Zeitoun Fundamentals of Computation Theory English 16.08.2017 Paperback / Softback Sold out
Yvo Desmedt - Information Security
Yvo Desmedt Information Security English 31.12.2015 Paperback / Softback Sold out
Alexander S. Kulikov, Gerhard J. Woeginger - Computer Science - Theory and Applications
Alexander S. Kulikov, Gerhard J. Woeginger Computer Science - Theory and Applications English 31.05.2016 Paperback / Softback Sold out