Languages
Subject
Format
Availabity
Authors

Search result

Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments English 15.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi - Recent Advances in Constraints
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi Recent Advances in Constraints English 27.07.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems English 26.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... - On the Move to Meaningful Internet Systems. OTM 2017 Workshops
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... On the Move to Meaningful Internet Systems. OTM 2017 Workshops English 29.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Davide Di Ruscio, Daniel Varro, Dániel Varró - Theory and Practice of Model Transformations
Davide Di Ruscio, Daniel Varro, Dániel Varró Theory and Practice of Model Transformations English 05.08.2014 Paperback / Softback Fr. 68.00 6-7 weeks
Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School
Zoltán Horváth, Zoltán Horváth Central European Functional Programming School English 02.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Yvo Desmedt - Information Security
Yvo Desmedt Information Security English 31.12.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing English 13.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis
Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis English 30.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning English 12.06.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software English 19.07.2012 Paperback / Softback Fr. 65.00 6-7 weeks
Alexander Romanovsky, Elena A. Troubitsyna - Software Engineering for Resilient Systems
Alexander Romanovsky, Elena A. Troubitsyna Software Engineering for Resilient Systems English 12.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Christian Schulte - Programming Constraint Services
Christian Schulte Programming Constraint Services English 20.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Luca Paolini, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca The Parametric Lambda Calculus English 05.07.2004 Hardback Fr. 70.00 6-7 weeks
Ralf Lämmel, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering
Ralf Lämmel, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering English 29.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering English 19.12.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Khalil Drira - Software Architecture
Khalil Drira Software Architecture English 06.06.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Juan De Lara, Detlef Plump - Graph Transformation
Juan De Lara, Detlef Plump Graph Transformation English 22.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand - Software Language Engineering
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand Software Language Engineering English 25.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications English 11.09.2002 Paperback / Softback Fr. 70.00 6-7 weeks