Languages
Subject
Format
Availabity
Authors

Search result

Esther Guerra, Fernando Orejas - Graph Transformation
Esther Guerra, Fernando Orejas Graph Transformation English 25.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Luís Caires - Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires Formal Techniques for Distributed Objects, Components, and Systems English 30.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Mitsunori Ogihara - Fundamentals of Java Programming
Mitsunori Ogihara Fundamentals of Java Programming English 30.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Marin Lujak - Agreement Technologies
Marin Lujak Agreement Technologies English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 24.04.2019 Paperback / Softback Fr. 82.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
Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N. Thai Exploring Robotics with ROBOTIS Systems English 22.10.2016 Paperback / Softback Fr. 56.50 6-7 weeks
Bronis R. De Supinski, Xing Fan, Nasser Giacaman, Oliver Sinnen - OpenMP: Conquering the Full Hardware Spectrum
Bronis R. De Supinski, Xing Fan, Nasser Giacaman, Oliver Sinnen OpenMP: Conquering the Full Hardware Spectrum English 09.08.2019 Paperback / Softback Fr. 92.00 6-7 weeks
Mahdi Derakhshanmanesh - Model-Integrating Software Components
Mahdi Derakhshanmanesh Model-Integrating Software Components English 12.05.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Jarkko Kari, Irek Ulidowski - Reversible Computation
Jarkko Kari, Irek Ulidowski Reversible Computation English 22.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Andreas Podelski - Static Analysis
Andreas Podelski Static Analysis English 29.08.2018 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
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
Hanne Riis Nielson, Emilio Tuosto - Coordination Models and Languages
Hanne Riis Nielson, Emilio Tuosto Coordination Models and Languages English 05.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen - Software Technologies
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen Software Technologies English 12.07.2017 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
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
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
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