Languages
Subject
Format
Availabity
Authors

Search result

Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... - Software Technologies
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... Software Technologies English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ernesto Damiani, Leszek Maciaszek, Georg Spanoudakis, George Spanoudakis - Evaluation of Novel Approaches to Software Engineering
Ernesto Damiani, Leszek Maciaszek, Georg Spanoudakis, George Spanoudakis Evaluation of Novel Approaches to Software Engineering English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... - Formal Methods for Industrial Critical Systems
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... Formal Methods for Industrial Critical Systems English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
HALLER, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
HALLER, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Zi Javanbakht, Zia Javanbakht, Andreas Öchsner - Advanced Finite Element Simulation with MSC Marc
Zi Javanbakht, Zia Javanbakht, Andreas Öchsner Advanced Finite Element Simulation with MSC Marc English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Peter A Buhr, Peter A. Buhr - Understanding Control Flow
Peter A Buhr, Peter A. Buhr Understanding Control Flow English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Draheim - Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim Semantics of the Probabilistic Typed Lambda Calculus English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis - Embedded Systems Design
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis Embedded Systems Design English 23.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani - Principles of Modeling
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani Principles of Modeling English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... - Formal Methods
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... Formal Methods English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
James H. Davenport, Manue Kauers, Manuel Kauers, George Labahn, George Labahn et al, Josef Urban - Mathematical Software - ICMS 2018
James H. Davenport, Manue Kauers, Manuel Kauers, George Labahn, George Labahn et al, Josef Urban Mathematical Software - ICMS 2018 English 01.01.2018 Paperback / Softback Fr. 69.00 6-7 weeks
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger - Computing and Software Science
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger Computing and Software Science English 01.01.2019 Paperback / Softback Fr. 44.50 6-7 weeks
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo - Modelling Foundations and Applications
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo Modelling Foundations and Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Haslwanter - An Introduction to Statistics with Python
Thomas Haslwanter An Introduction to Statistics with Python English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Mohamed El-Geish, Gu Lebanon, Guy Lebanon - Computing with Data
Mohamed El-Geish, Gu Lebanon, Guy Lebanon Computing with Data English 01.01.2018 Hardback Fr. 135.00 6-7 weeks
Pinar Alper, Khalid Belhajjame, Ashis Gehani, Ashish Gehani - Provenance and Annotation of Data and Processes
Pinar Alper, Khalid Belhajjame, Ashis Gehani, Ashish Gehani Provenance and Annotation of Data and Processes English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier - NASA Formal Methods
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier NASA Formal Methods English 01.01.2019 Paperback / Softback Fr. 92.00 6-7 weeks