Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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. 44.50 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
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
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
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 Inglese 01.01.2018 Tascabile Fr. 69.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
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
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
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
Peter A Buhr, Peter A. Buhr - Understanding Control Flow
Peter A Buhr, Peter A. Buhr Understanding Control Flow Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Laura Tateosian - Python For ArcGIS
Laura Tateosian Python For ArcGIS Inglese 01.01.2018 Tascabile Fr. 110.00 6-7 settimane
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel - Applications of Declarative Programming and Knowledge Management
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel Applications of Declarative Programming and Knowledge Management Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn - Trends in Functional Programming
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn Trends in Functional Programming Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, SIMPSON, Simpson... - Foundations of Software Science and Computation Structures
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, SIMPSON, Simpson... Foundations of Software Science and Computation Structures Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Luí Caires, Luís Caires - Programming Languages and Systems
Luí Caires, Luís Caires Programming Languages and Systems Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood - Foundations and Practice of Security
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood Foundations and Practice of Security Inglese 01.01.2019 Tascabile Fr. 92.00 6-7 settimane
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 Inglese 01.01.2019 Tascabile Fr. 92.00 6-7 settimane