Languages
Subject
Format
Availabity
Authors

Search result

Jean-Marc Champarnaud, Denis Maurel - Implementation and Application of Automata
Jean-Marc Champarnaud, Denis Maurel Implementation and Application of Automata English 23.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Lectures on Formal Methods and Performance Analysis English 29.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan - Practical Aspects of Declarative Languages
Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan Practical Aspects of Declarative Languages English 09.01.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
M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis English 04.07.2001 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
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg - Theory Is Forever
Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg Theory Is Forever English 29.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Jose Luiz Fiadeiro - Categories for Software Engineering
Jose Luiz Fiadeiro Categories for Software Engineering English 13.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
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
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
Eerke Boiten, John Derrick - Refinement
Eerke Boiten, John Derrick Refinement English 14.09.2018 Hardback 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
Emanuel Kitzelmann, Ute Schmid - Approaches and Applications of Inductive Programming
Emanuel Kitzelmann, Ute Schmid Approaches and Applications of Inductive Programming English 14.04.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Josep Carmona, Gregor Engels, Akhil Kumar - Business Process Management
Josep Carmona, Gregor Engels, Akhil Kumar Business Process Management English 11.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... - Artificial Intelligence in Health
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... Artificial Intelligence in Health English 21.02.2019 Paperback / Softback Fr. 70.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
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