Languages
Subject
Format
Availabity
Authors

Search result

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)
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)
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)
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum - Declarative Agent Languages and Technologies II
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum Declarative Agent Languages and Technologies II English 16.06.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Georgios Paliouras, Yasubumi Sakakibara - Grammatical Inference: Algorithms and Applications
Georgios Paliouras, Yasubumi Sakakibara Grammatical Inference: Algorithms and Applications English 05.10.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications English 03.02.2016 Paperback / Softback Fr. 55.90 1-2 weeks (title will be printed to order)
Jacques Malenfant, Bjarte M. Østvold - Object-Oriented Technology. ECOOP 2004 Workshop Reader
Jacques Malenfant, Bjarte M. Østvold Object-Oriented Technology. ECOOP 2004 Workshop Reader English 24.01.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments English 29.01.2016 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)