Languages
Subject
Format
Availabity
Authors

Search result

Bruce Harpham - Project Managers at Work
Bruce Harpham Project Managers at Work English 26.09.2017 Paperback / Softback Fr. 79.40 1-2 weeks (title will be printed to order)
Priti Srinivas Sajja - Essence of Systems Analysis and Design
Priti Srinivas Sajja Essence of Systems Analysis and Design English 31.08.2017 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Orit Hazzan, Tami Lapidot, Noa Ragonis - Guide to Teaching Computer Science
Orit Hazzan, Tami Lapidot, Noa Ragonis Guide to Teaching Computer Science English 22.10.2025 Hardback Fr. 116.00 at least 4 weeks (title will be specially ordered)
Simone Cavalheiro, José Fiadeiro - Formal Methods: Foundations and Applications
Simone Cavalheiro, José Fiadeiro Formal Methods: Foundations and Applications English 12.11.2017 Paperback / Softback Fr. 90.00 1-2 weeks (title will be printed to order)
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 Fr. 69.00 1-2 weeks (title will be printed to order)
Anthony Anjorin, Huáscar Espinoza - Modelling Foundations and Applications
Anthony Anjorin, Huáscar Espinoza Modelling Foundations and Applications English 20.06.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Paul Grünbacher, Anna Perini - Requirements Engineering: Foundation for Software Quality
Paul Grünbacher, Anna Perini Requirements Engineering: Foundation for Software Quality English 21.02.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
John P. Gallagher, Martin Sulzmann - Functional and Logic Programming
John P. Gallagher, Martin Sulzmann Functional and Logic Programming English 24.04.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst - Fundamental Approaches to Software Engineering
Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst Fundamental Approaches to Software Engineering English 04.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alessandra Russo, Andy Schürr - Fundamental Approaches to Software Engineering
Alessandra Russo, Andy Schürr Fundamental Approaches to Software Engineering English 04.04.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 Fr. 69.00 1-2 weeks (title will be printed to order)
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification English 13.07.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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. 90.00 1-2 weeks (title will be printed to order)
Andreas Podelski - Static Analysis
Andreas Podelski Static Analysis English 29.08.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs English 03.06.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)