Languages
Subject
Format
Availabity
Authors

Search result

Dragan Bosnacki, Stefan Leue - Model Checking Software
Dragan Bosnacki, Stefan Leue Model Checking Software English 27.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
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
David Harel, Rami Marelly - Come, Let’s Play
David Harel, Rami Marelly Come, Let’s Play English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
David Harel, Rami Marelly - Come, Let’s Play
David Harel, Rami Marelly Come, Let’s Play English 23.06.2003 Hardback Fr. 70.00 6-7 weeks
Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures
Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures English 12.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Egon Börger, Joachim Schmid, Robert F. Stärk - Java and the Java Virtual Machine
Egon Börger, Joachim Schmid, Robert F. Stärk Java and the Java Virtual Machine English 23.08.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Stephan Diehl - Distributed Virtual Worlds
Stephan Diehl Distributed Virtual Worlds English 01.12.2010 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Philippe Codognet - Logic Programming
Philippe Codognet Logic Programming English 14.11.2001 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi Verification, Model Checking, and Abstract Interpretation English 24.04.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
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. 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
R. Cervenka, Radovan Cervenka, I. Trencansky, Ivan Trencansky - The Agent Modeling Language - AML
R. Cervenka, Radovan Cervenka, I. Trencansky, Ivan Trencansky The Agent Modeling Language - AML English 17.04.2007 Paperback / Softback Fr. 70.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
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
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