Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Andreas Podelski - Static Analysis
Andreas Podelski Static Analysis Inglese 29.08.2018 Tascabile Fr. 70.00 6-7 settimane
Vlad Rusu - Rewriting Logic and Its Applications
Vlad Rusu Rewriting Logic and Its Applications Inglese 08.09.2018 Tascabile Fr. 70.00 6-7 settimane
Robert Hierons, Inmaculada Medina-Bulo, Mercedes G. Merayo - Testing Software and Systems
Robert Hierons, Inmaculada Medina-Bulo, Mercedes G. Merayo Testing Software and Systems Inglese 07.09.2018 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Software Engineering: Specification, Implementation, Verification
Suad Alagi¿, Suad Alagic, Suad Alagić Software Engineering: Specification, Implementation, Verification Inglese 18.08.2018 Tascabile Fr. 97.00 6-7 settimane
Lucas Davi, Ahmad-Reza Sadeghi - Building Secure Defenses Against Code-Reuse Attacks
Lucas Davi, Ahmad-Reza Sadeghi Building Secure Defenses Against Code-Reuse Attacks Inglese 16.12.2015 Tascabile Fr. 70.00 6-7 settimane
Thomas Zeume - Small Dynamic Complexity Classes
Thomas Zeume Small Dynamic Complexity Classes Inglese 18.02.2017 Tascabile Fr. 70.00 6-7 settimane
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles Inglese 18.12.2016 Tascabile Fr. 70.00 6-7 settimane
Mathias Soeken, Michael Kirkedal Thomsen - Reversible Computation
Mathias Soeken, Michael Kirkedal Thomsen Reversible Computation Inglese 23.05.2019 Tascabile Fr. 82.00 6-7 settimane
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems Inglese 15.02.2019 Tascabile Fr. 70.00 6-7 settimane
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering Inglese 13.09.2018 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Software Engineering: Specification, Implementation, Verification
Suad Alagi¿, Suad Alagic, Suad Alagić Software Engineering: Specification, Implementation, Verification Inglese 02.10.2017 Copertina rigida Fr. 97.00 6-7 settimane
Hanne Riis Nielson, Emilio Tuosto - Coordination Models and Languages
Hanne Riis Nielson, Emilio Tuosto Coordination Models and Languages Inglese 05.06.2019 Tascabile Fr. 70.00 6-7 settimane
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen - Software Technologies
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen Software Technologies Inglese 12.07.2017 Tascabile Fr. 70.00 6-7 settimane
Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation Inglese 29.05.2018 Tascabile Fr. 70.00 6-7 settimane
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs Inglese 03.06.2018 Tascabile Fr. 70.00 6-7 settimane
Kim Guldstrand Larsen, Tim Willemse - Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse Formal Methods for Industrial Critical Systems Inglese 25.07.2019 Tascabile Fr. 70.00 6-7 settimane
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation Inglese 27.06.2018 Tascabile Fr. 92.00 6-7 settimane
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation Inglese 10.07.2018 Tascabile Fr. 70.00 6-7 settimane
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics Inglese 18.07.2018 Tascabile Fr. 70.00 6-7 settimane
Cliff Jones, Ji Wang, Naijun Zhan - Symposium on Real-Time and Hybrid Systems
Cliff Jones, Ji Wang, Naijun Zhan Symposium on Real-Time and Hybrid Systems Inglese 29.09.2018 Tascabile Fr. 70.00 6-7 settimane