Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Mitsunori Ogihara - Fundamentals of Java Programming
Mitsunori Ogihara Fundamentals of Java Programming Inglese 30.01.2019 Tascabile Fr. 70.00 6-7 settimane
Marin Lujak - Agreement Technologies
Marin Lujak Agreement Technologies Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Inglese 24.04.2019 Tascabile Fr. 82.00 6-7 settimane
Alessandro Abate, Gilles Geeraerts - Formal Modeling and Analysis of Timed Systems
Alessandro Abate, Gilles Geeraerts Formal Modeling and Analysis of Timed Systems Inglese 03.08.2017 Tascabile Fr. 70.00 6-7 settimane
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 02.02.2019 Tascabile Fr. 70.00 6-7 settimane
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World Inglese 31.03.2016 Tascabile Fr. 70.00 6-7 settimane
Suad Alagi¿, Suad Alagic, Suad Alagić - Object-Oriented Technology
Suad Alagi¿, Suad Alagic, Suad Alagić Object-Oriented Technology Inglese 22.10.2016 Tascabile Fr. 56.50 6-7 settimane
Iman Saleh - Formalizing Data-Centric Web Services
Iman Saleh Formalizing Data-Centric Web Services Inglese 23.08.2016 Tascabile Fr. 70.00 6-7 settimane
Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N. Thai Exploring Robotics with ROBOTIS Systems Inglese 22.10.2016 Tascabile Fr. 56.50 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
Mahdi Derakhshanmanesh - Model-Integrating Software Components
Mahdi Derakhshanmanesh Model-Integrating Software Components Inglese 12.05.2015 Tascabile Fr. 70.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
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