Languages
Subject
Format
Availabity
Authors

Search result

Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 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
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation English 23.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Goedicke, Eric Knauss - Requirements Engineering: Foundation for Software Quality
Michael Goedicke, Eric Knauss Requirements Engineering: Foundation for Software Quality English 08.03.2019 Paperback / Softback Fr. 92.00 6-7 weeks
Rogerio Garcia, Veronica Gil-Costa, Rogério Iope, Osni Marques, Tatiana Pinheiro de Brito, Hermes Senger... - High Performance Computing for Computational Science - VECPAR 2018
Rogerio Garcia, Veronica Gil-Costa, Rogério Iope, Osni Marques, Tatiana Pinheiro de Brito, Hermes Senger... High Performance Computing for Computational Science - VECPAR 2018 English 26.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
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. 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
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems English 15.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
Sukyoung Ryu - Programming Languages and Systems
Sukyoung Ryu Programming Languages and Systems English 22.10.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
Yannis Manolopoulos, Sergey Stupnikov - Data Analytics and Management in Data Intensive Domains
Yannis Manolopoulos, Sergey Stupnikov Data Analytics and Management in Data Intensive Domains English 04.07.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
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
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