Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems Inglese 26.06.2006 Tascabile Fr. 70.00 6-7 settimane
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... - On the Move to Meaningful Internet Systems. OTM 2017 Workshops
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... On the Move to Meaningful Internet Systems. OTM 2017 Workshops Inglese 29.01.2018 Tascabile Fr. 70.00 6-7 settimane
Davide Di Ruscio, Daniel Varro, Dániel Varró - Theory and Practice of Model Transformations
Davide Di Ruscio, Daniel Varro, Dániel Varró Theory and Practice of Model Transformations Inglese 05.08.2014 Tascabile Fr. 68.00 6-7 settimane
Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies V
Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies V Inglese 29.01.2008 Tascabile Fr. 70.00 6-7 settimane
Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School
Zoltán Horváth, Zoltán Horváth Central European Functional Programming School Inglese 02.10.2006 Tascabile Fr. 70.00 6-7 settimane
Yvo Desmedt - Information Security
Yvo Desmedt Information Security Inglese 31.12.2015 Tascabile Fr. 70.00 6-7 settimane
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing Inglese 13.04.2005 Tascabile Fr. 70.00 6-7 settimane
Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis
Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis Inglese 30.12.2017 Tascabile Fr. 70.00 6-7 settimane
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning Inglese 12.06.2016 Tascabile Fr. 110.00 6-7 settimane
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software Inglese 19.07.2012 Tascabile Fr. 65.00 6-7 settimane
Alexander Romanovsky, Elena A. Troubitsyna - Software Engineering for Resilient Systems
Alexander Romanovsky, Elena A. Troubitsyna Software Engineering for Resilient Systems Inglese 12.08.2017 Tascabile Fr. 70.00 6-7 settimane
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones - Reliable Software Technologies - Ada-Europe 2016
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones Reliable Software Technologies - Ada-Europe 2016 Inglese 31.05.2016 Tascabile Fr. 70.00 6-7 settimane
Johannes Brauer - Programming Smalltalk - Object-Orientation from the Beginning
Johannes Brauer Programming Smalltalk - Object-Orientation from the Beginning Inglese 09.02.2015 Tascabile Fr. 77.00 6-7 settimane
Christian Schulte - Programming Constraint Services
Christian Schulte Programming Constraint Services Inglese 20.03.2002 Tascabile Fr. 70.00 6-7 settimane
Luca Paolini, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca The Parametric Lambda Calculus Inglese 05.07.2004 Copertina rigida Fr. 70.00 6-7 settimane
Ralf Lämmel, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering
Ralf Lämmel, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering Inglese 29.09.2006 Tascabile Fr. 70.00 6-7 settimane
Joaquim Filipe, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Joaquim Filipe, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering Inglese 19.12.2013 Tascabile Fr. 70.00 6-7 settimane
Khalil Drira - Software Architecture
Khalil Drira Software Architecture Inglese 06.06.2013 Tascabile Fr. 70.00 6-7 settimane
Juan De Lara, Detlef Plump - Graph Transformation
Juan De Lara, Detlef Plump Graph Transformation Inglese 22.06.2017 Tascabile Fr. 70.00 6-7 settimane
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand - Software Language Engineering
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand Software Language Engineering Inglese 25.03.2010 Tascabile Fr. 70.00 6-7 settimane