Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering Inglese 19.02.2009 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
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
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Luk Ong, Luke Ong - Computer Science Logic
Luk Ong, Luke Ong Computer Science Logic Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz - Natural Language Processing and Information Systems
Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz Natural Language Processing and Information Systems Inglese 05.11.2012 Tascabile Fr. 70.00 6-7 settimane
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk - Agent Communication
Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk Agent Communication Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia - Computer Aided Systems Theory - EUROCAST 2005
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2005 Inglese 15.03.2011 Tascabile Fr. 135.00 6-7 settimane
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina Logic Programming and Nonmonotonic Reasoning Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Raymond T. Boute, C. N. Dean, C. Neville Dean - Teaching Formal Methods
Raymond T. Boute, C. N. Dean, C. Neville Dean Teaching Formal Methods Inglese 17.11.2004 Tascabile Fr. 70.00 6-7 settimane
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro - Formal Techniques for Computer Systems and Business Processes
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro Formal Techniques for Computer Systems and Business Processes Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Stefan Leue, Tarja J. Systä - Scenarios: Models, Transformations and Tools
Stefan Leue, Tarja J. Systä Scenarios: Models, Transformations and Tools Inglese 16.06.2005 Tascabile Fr. 70.00 6-7 settimane
Richar Jones, Richard Jones - ECOOP 2014 -- Object-Oriented Programming
Richar Jones, Richard Jones ECOOP 2014 -- Object-Oriented Programming Inglese 23.06.2014 Tascabile Fr. 70.00 6-7 settimane
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study Inglese 26.05.2014 Tascabile Fr. 70.00 6-7 settimane