Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
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
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
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
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
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics Inglese 15.12.2014 Copertina rigida Fr. 104.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
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