Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones - Reliable Software Technologies - Ada-Europe 2016
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones Reliable Software Technologies - Ada-Europe 2016 Englisch 31.05.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Christian Schulte - Programming Constraint Services
Christian Schulte Programming Constraint Services Englisch 20.03.2002 Taschenbuch Fr. 70.00 6-7 Wochen
Luca Paolini, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca The Parametric Lambda Calculus Englisch 05.07.2004 Fester Einband Fr. 70.00 6-7 Wochen
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 Englisch 29.09.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering Englisch 19.12.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Khalil Drira - Software Architecture
Khalil Drira Software Architecture Englisch 06.06.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Juan De Lara, Detlef Plump - Graph Transformation
Juan De Lara, Detlef Plump Graph Transformation Englisch 22.06.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 25.03.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications Englisch 11.09.2002 Taschenbuch Fr. 70.00 6-7 Wochen
Giovanna Di Marzo Serugendo, Michele Loreti - Coordination Models and Languages
Giovanna Di Marzo Serugendo, Michele Loreti Coordination Models and Languages Englisch 30.05.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Englisch 27.08.2017 Taschenbuch Fr. 70.00 6-7 Wochen
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff - Languages and Compilers for High Performance Computing
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff Languages and Compilers for High Performance Computing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns - Software Architecture
Ivica Crnkovic, Raffaela Mirandola, Danny Weyns Software Architecture Englisch 26.08.2015 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 26.11.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Christiano Braga, Peter Csaba Ölveczky - Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky Formal Aspects of Component Software Englisch 30.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen