Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
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