Languages
Subject
Format
Availabity
Authors

Search result

Ezio Bartocci, Yliès Falcone - Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone Lectures on Runtime Verification English 11.02.2018 Paperback / Softback Fr. 91.00 6-7 weeks
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 Fr. 70.00 6-7 weeks
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 02.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 Fr. 70.00 6-7 weeks
Andreas Herzig, Andrei Popescu - Frontiers of Combining Systems
Andreas Herzig, Andrei Popescu Frontiers of Combining Systems English 14.08.2019 Paperback / Softback Fr. 91.00 6-7 weeks
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 Fr. 70.00 6-7 weeks
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV English 17.10.2017 Paperback / Softback Fr. 70.00 6-7 weeks
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek - Computational Methods in Systems Biology
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek Computational Methods in Systems Biology English 05.09.2018 Paperback / Softback Fr. 84.00 6-7 weeks
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov - Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov Computer Algebra in Scientific Computing English 24.08.2018 Paperback / Softback Fr. 91.00 6-7 weeks
Andreas Podelski - Static Analysis
Andreas Podelski Static Analysis English 29.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Vlad Rusu - Rewriting Logic and Its Applications
Vlad Rusu Rewriting Logic and Its Applications English 08.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Hierons, Inmaculada Medina-Bulo, Mercedes G. Merayo - Testing Software and Systems
Robert Hierons, Inmaculada Medina-Bulo, Mercedes G. Merayo Testing Software and Systems English 07.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
David N. Jansen, Pavithra Prabhakar - Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar Formal Modeling and Analysis of Timed Systems English 26.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez - Verification and Evaluation of Computer and Communication Systems
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez Verification and Evaluation of Computer and Communication Systems English 31.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu - On Sets and Graphs
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu On Sets and Graphs English 09.09.2018 Paperback / Softback Fr. 79.00 6-7 weeks
Thomas Zeume - Small Dynamic Complexity Classes
Thomas Zeume Small Dynamic Complexity Classes English 18.02.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 Fr. 70.00 6-7 weeks
René van Bevern, Gregory Kucherov, René van Bevern - Computer Science - Theory and Applications
René van Bevern, Gregory Kucherov, René van Bevern Computer Science - Theory and Applications English 16.05.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems English 15.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Salvador Abreu, Michael Hanus, Dietmar Seipel - Declarative Programming and Knowledge Management
Salvador Abreu, Michael Hanus, Dietmar Seipel Declarative Programming and Knowledge Management English 27.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks