Languages
Subject
Format
Availabity
Authors

Search result

Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi - Advances in Exception Handling Techniques
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi Advances in Exception Handling Techniques English 04.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction
Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction English 26.06.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming
Zhenjiang Hu, Mario Rodriquez-Artalejo Functional and Logic Programming English 02.09.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis English 04.07.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jose Luiz Fiadeiro - Categories for Software Engineering
Jose Luiz Fiadeiro Categories for Software Engineering English 13.10.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems English 12.06.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese - Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese Models, Languages, and Tools for Concurrent and Distributed Programming English 04.07.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Sebastian Hack, Helmut Seidl, Reinhard Wilhelm - Compiler Design
Sebastian Hack, Helmut Seidl, Reinhard Wilhelm Compiler Design English 23.08.2016 Paperback / Softback Fr. 96.00 1-2 weeks (title will be printed to order)
Zoltán Horváth, Zoltán Porkoláb, Viktória Zsók - Central European Functional Programming School
Zoltán Horváth, Zoltán Porkoláb, Viktória Zsók Central European Functional Programming School English 14.08.2019 Paperback / Softback Fr. 91.00 1-2 weeks (title will be printed to order)
Mike Allerhand - A Tiny Handbook of R
Mike Allerhand A Tiny Handbook of R English 26.03.2011 Paperback / Softback Fr. 83.00 1-2 weeks (title will be printed to order)
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z English 08.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Sukyoung Ryu - Programming Languages and Systems
Sukyoung Ryu Programming Languages and Systems English 22.10.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Esther Guerra, Fernando Orejas - Graph Transformation
Esther Guerra, Fernando Orejas Graph Transformation English 25.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
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. 81.00 1-2 weeks (title will be printed to order)
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. 55.90 1-2 weeks (title will be printed to order)
Iman Saleh - Formalizing Data-Centric Web Services
Iman Saleh Formalizing Data-Centric Web Services English 23.08.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N. Thai Exploring Robotics with ROBOTIS Systems English 22.10.2016 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)