Languages
Subject
Format
Availabity
Authors

Search result

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
Lucas Davi, Ahmad-Reza Sadeghi - Building Secure Defenses Against Code-Reuse Attacks
Lucas Davi, Ahmad-Reza Sadeghi Building Secure Defenses Against Code-Reuse Attacks English 16.12.2015 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
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
Mathias Soeken, Michael Kirkedal Thomsen - Reversible Computation
Mathias Soeken, Michael Kirkedal Thomsen Reversible Computation English 23.05.2019 Paperback / Softback Fr. 82.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
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering English 13.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation English 29.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs English 03.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation English 27.06.2018 Paperback / Softback Fr. 92.00 6-7 weeks
Olaf Beyersdorff, Christoph M. Wintersteiger - Theory and Applications of Satisfiability Testing - SAT 2018
Olaf Beyersdorff, Christoph M. Wintersteiger Theory and Applications of Satisfiability Testing - SAT 2018 English 26.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation English 10.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics English 18.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Cristina Alcaraz, Sokratis K. Katsikas - Security and Trust Management
Cristina Alcaraz, Sokratis K. Katsikas Security and Trust Management English 02.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?
Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina - End-User Development
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina End-User Development English 03.07.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems English 23.02.2005 Paperback / Softback Fr. 70.00 6-7 weeks