Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N. Thai Exploring Robotics with ROBOTIS Systems Inglese 22.10.2016 Tascabile Fr. 56.90 6-7 settimane
Bronis R. de Supinski, Xing Fan, Nasser Giacaman, Oliver Sinnen - OpenMP: Conquering the Full Hardware Spectrum
Bronis R. de Supinski, Xing Fan, Nasser Giacaman, Oliver Sinnen OpenMP: Conquering the Full Hardware Spectrum Inglese 09.08.2019 Tascabile Fr. 92.00 6-7 settimane
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd Inglese 29.09.2017 Tascabile Fr. 70.00 6-7 settimane
Jarkko Kari, Irek Ulidowski - Reversible Computation
Jarkko Kari, Irek Ulidowski Reversible Computation Inglese 22.08.2018 Tascabile Fr. 70.00 6-7 settimane
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
Thomas Zeume - Small Dynamic Complexity Classes
Thomas Zeume Small Dynamic Complexity Classes Inglese 18.02.2017 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
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
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
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
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
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
Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?
Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? Inglese 26.06.2019 Tascabile Fr. 70.00 6-7 settimane
Alwyn Goodloe, Suzette Person - NASA Formal Methods
Alwyn Goodloe, Suzette Person NASA Formal Methods Inglese 27.03.2012 Tascabile Fr. 70.00 6-7 settimane
Ali Babar, Bedir Tekinerdogan, Uwe Zdun - Software Architecture
Ali Babar, Bedir Tekinerdogan, Uwe Zdun Software Architecture Inglese 04.11.2016 Tascabile Fr. 70.00 6-7 settimane
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina - End-User Development
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina End-User Development Inglese 03.07.2019 Tascabile Fr. 82.00 6-7 settimane