Languages
Subject
Format
Availabity
Authors

Search result

M. Leuschel - Logic Based Program Synthesis and Transformation
M. Leuschel Logic Based Program Synthesis and Transformation English 18.06.2003 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)
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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. 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)
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. 69.00 1-2 weeks (title will be printed to order)
David Akehurst, Richard Paige, Regis Vogel - Model Driven Architecture - Foundations and Applications
David Akehurst, Richard Paige, Regis Vogel Model Driven Architecture - Foundations and Applications English 31.05.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Thao Dang, Ádám Halász, Oded Maler, Carla Piazza - Hybrid Systems Biology
Thao Dang, Ádám Halász, Oded Maler, Carla Piazza Hybrid Systems Biology English 25.12.2015 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
Coen van Gulijk, Floor Koornneef, Coen van Gulijk - Computer Safety, Reliability, and Security
Coen van Gulijk, Floor Koornneef, Coen van Gulijk Computer Safety, Reliability, and Security English 26.11.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent - Deontic Logic and Normative Systems
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent Deontic Logic and Normative Systems English 04.08.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Christiano Braga, Peter Csaba Ölveczky - Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky Formal Aspects of Component Software English 30.01.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software English 30.07.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jordi Cabot, Julia Rubin - Modelling Foundations and Applications
Jordi Cabot, Julia Rubin Modelling Foundations and Applications English 05.08.2014 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities English 28.11.2015 Paperback / Softback Fr. 67.00 1-2 weeks (title will be printed to order)
Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder - Implementation and Application of Functional Languages
Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder Implementation and Application of Functional Languages English 30.05.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Lea Kutvonen - Distributed Applications and Interoperable Systems
Lea Kutvonen Distributed Applications and Interoperable Systems English 01.06.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ouyang Chun, Chun Ouyang, Emilio Tuosto - Web Services and Formal Methods
Ouyang Chun, Chun Ouyang, Emilio Tuosto Web Services and Formal Methods English 25.07.2014 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)