Languages
Subject
Format
Availabity
Authors

Search result

T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers English 07.04.2003 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Sebastian Hack, Helmut Seidl, Reinhard Wilhelm - Compiler Design
Sebastian Hack, Helmut Seidl, Reinhard Wilhelm Compiler Design English 23.08.2016 Paperback / Softback Fr. 97.00 6-7 weeks
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. 92.00 6-7 weeks
Mike Allerhand - A Tiny Handbook of R
Mike Allerhand A Tiny Handbook of R English 26.03.2011 Paperback / Softback Fr. 84.00 6-7 weeks
George Cybenko, Barbara Fila, David Pym - Graphical Models for Security
George Cybenko, Barbara Fila, David Pym Graphical Models for Security English 31.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming English 16.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming English 15.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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
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
Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N. Thai Exploring Robotics with ROBOTIS Systems 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
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd English 29.09.2017 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
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
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