Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis - Embedded Systems Design
Brun Bouyssounouse, Bruno Bouyssounouse, Sifakis, Sifakis, Joseph Sifakis Embedded Systems Design Inglese 23.06.2005 Tascabile Fr. 135.00 6-7 settimane
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani - Principles of Modeling
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani Principles of Modeling Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 124.00 6-7 settimane
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 Inglese 31.10.2018 Tascabile Fr. 70.00 6-7 settimane
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger - Computing and Software Science
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger Computing and Software Science Inglese 01.01.2019 Tascabile Fr. 43.90 6-7 settimane
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo - Modelling Foundations and Applications
Alfons Pierantonio, Alfonso Pierantonio, Trujillo, Trujillo, Salvador Trujillo Modelling Foundations and Applications Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Thomas Haslwanter - An Introduction to Statistics with Python
Thomas Haslwanter An Introduction to Statistics with Python Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Mohamed El-Geish, Gu Lebanon, Guy Lebanon - Computing with Data
Mohamed El-Geish, Gu Lebanon, Guy Lebanon Computing with Data Inglese 01.01.2018 Copertina rigida Fr. 135.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Inglese 01.01.2018 Tascabile Fr. 124.00 6-7 settimane
Owens, Owens, Scott Owens, Men Wang, Meng Wang - Trends in Functional Programming
Owens, Owens, Scott Owens, Men Wang, Meng Wang Trends in Functional Programming Inglese 01.01.2018 Tascabile Fr. 59.50 6-7 settimane
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten - It's All About Coordination
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten It's All About Coordination Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina - New Opportunities for Software Reuse
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina New Opportunities for Software Reuse Inglese 01.01.2018 Tascabile Fr. 158.00 6-7 settimane
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications Inglese 31.12.2018 Tascabile Fr. 82.00 6-7 settimane