Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
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
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods Inglese 04.06.2016 Tascabile Fr. 90.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
Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 01.03.2016 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
Mehmet Aksit, Awais Rashid - Transactions on Aspect-Oriented Software Development II
Mehmet Aksit, Awais Rashid Transactions on Aspect-Oriented Software Development II Inglese 03.11.2006 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
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
Deepak Vohra - JRuby Rails Web Application Development
Deepak Vohra JRuby Rails Web Application Development Inglese 21.01.2014 Tascabile Fr. 70.00 6-7 settimane
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering Inglese 29.06.2017 Tascabile Fr. 70.00 6-7 settimane
Shigeru Chiba, Gary T. Leavens, Éric Tanter - Transactions on Aspect-Oriented Software Development X
Shigeru Chiba, Gary T. Leavens, Éric Tanter Transactions on Aspect-Oriented Software Development X Inglese 20.02.2013 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
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
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
Reiko Heckel, Gabriele Taentzer - Graph Transformation, Specifications, and Nets
Reiko Heckel, Gabriele Taentzer Graph Transformation, Specifications, and Nets Inglese 07.02.2018 Tascabile Fr. 70.00 6-7 settimane
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments Inglese 15.12.2017 Tascabile Fr. 70.00 6-7 settimane
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi - Recent Advances in Constraints
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi Recent Advances in Constraints Inglese 27.07.2007 Tascabile Fr. 70.00 6-7 settimane