Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Mahdi Derakhshanmanesh - Model-Integrating Software Components
Mahdi Derakhshanmanesh Model-Integrating Software Components Inglese 12.05.2015 Tascabile Fr. 70.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
Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation Inglese 29.05.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
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems Inglese 23.02.2005 Tascabile Fr. 70.00 6-7 settimane
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... - Service-Oriented Computing - ICSOC 2017 Workshops
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... Service-Oriented Computing - ICSOC 2017 Workshops Inglese 16.06.2018 Tascabile Fr. 70.00 6-7 settimane
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software Inglese 21.06.2007 Tascabile Fr. 70.00 6-7 settimane
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming Inglese 24.04.2019 Tascabile Fr. 77.00 6-7 settimane
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods Inglese 04.06.2016 Tascabile Fr. 91.00 6-7 settimane
Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz NASA Formal Methods Inglese 11.03.2018 Tascabile Fr. 70.00 6-7 settimane
Manjunath Gorentla Venkata, Neena Imam, Tiffany M. Mintz, Swaroop Pophale - OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
Manjunath Gorentla Venkata, Neena Imam, Tiffany M. Mintz, Swaroop Pophale OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Inglese 15.12.2016 Tascabile Fr. 70.00 6-7 settimane
Welf Löwe, Mario Südholt - Software Composition
Welf Löwe, Mario Südholt Software Composition Inglese 29.08.2006 Tascabile Fr. 70.00 6-7 settimane
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web Inglese 04.11.2005 Tascabile Fr. 70.00 6-7 settimane
Jean-Marie Jacquet, Mieke Massink - Coordination Models and Languages
Jean-Marie Jacquet, Mieke Massink Coordination Models and Languages Inglese 27.05.2017 Tascabile Fr. 70.00 6-7 settimane
Barbara Jobstmann, K. Rustan M. Leino - Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino Verification, Model Checking, and Abstract Interpretation Inglese 26.12.2015 Tascabile Fr. 70.00 6-7 settimane
Roberto Bruni, Ugo Montanari, Donald Sannella - Trustworthy Global Computing
Roberto Bruni, Ugo Montanari, Donald Sannella Trustworthy Global Computing Inglese 22.11.2007 Tascabile Fr. 70.00 6-7 settimane
Barbara M. Chapman, Bronis R. de Supinski, Matthias S. Müller, Stephen L. Olivier, Christian Terboven - Scaling OpenMP for Exascale Performance and Portability
Barbara M. Chapman, Bronis R. de Supinski, Matthias S. Müller, Stephen L. Olivier, Christian Terboven Scaling OpenMP for Exascale Performance and Portability Inglese 17.08.2017 Tascabile Fr. 70.00 6-7 settimane
Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petra Perner Advances in Data Mining. Applications and Theoretical Aspects Inglese 04.07.2017 Tascabile Fr. 70.00 6-7 settimane