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
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Roger Chamberlain, Walid Taha, Martin Törngren - Cyber Physical Systems. Design, Modeling, and Evaluation
Roger Chamberlain, Walid Taha, Martin Törngren Cyber Physical Systems. Design, Modeling, and Evaluation English 13.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son - Engineering Multi-Agent Systems
Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son Engineering Multi-Agent Systems English 15.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla - Formal Grammar
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla Formal Grammar English 05.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification English 13.07.2019 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
Peng Liu, Sjouke Mauw, Ketil Stolen - Graphical Models for Security
Peng Liu, Sjouke Mauw, Ketil Stolen Graphical Models for Security English 21.02.2018 Paperback / Softback Fr. 59.50 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
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
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
Suad Alagi¿, Suad Alagic, Suad Alagić - Object-Oriented Technology
Suad Alagi¿, Suad Alagic, Suad Alagić Object-Oriented Technology English 22.10.2016 Paperback / Softback Fr. 56.90 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
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
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