Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Fabrice Kordon, Janos Sztipanovits - Reliable Systems on Unreliable Networked Platforms
Fabrice Kordon, Janos Sztipanovits Reliable Systems on Unreliable Networked Platforms Inglese 28.02.2007 Tascabile Fr. 69.00 6-7 settimane
Michael Johnson, Varmo Vene - Algebraic Methodology and Software Technology
Michael Johnson, Varmo Vene Algebraic Methodology and Software Technology Inglese 27.06.2006 Tascabile Fr. 69.00 6-7 settimane
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild - Task Models and Diagrams for User Interface Design
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild Task Models and Diagrams for User Interface Design Inglese 18.02.2010 Tascabile Fr. 69.00 6-7 settimane
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych - Information and Communication Technologies in Education, Research, and Industrial Applications
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych Information and Communication Technologies in Education, Research, and Industrial Applications Inglese 05.12.2013 Tascabile Fr. 69.00 6-7 settimane
Markus Müller-Olm - Variations on Constants
Markus Müller-Olm Variations on Constants Inglese 02.10.2006 Tascabile Fr. 69.00 6-7 settimane
Satoshi Kobayashi, Tetsuro Nishino, Yasibumi Sakaibara, Kengo Sato, Etsuji Tomita - Grammatical Inference: Algorithms and Applications
Satoshi Kobayashi, Tetsuro Nishino, Yasibumi Sakaibara, Kengo Sato, Etsuji Tomita Grammatical Inference: Algorithms and Applications Inglese 18.09.2006 Tascabile Fr. 69.00 6-7 settimane
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford - Component-Based Software Engineering
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford Component-Based Software Engineering Inglese 29.06.2007 Tascabile Fr. 69.00 6-7 settimane
S. Bistarelli, Stefano Bistarelli - Semirings for Soft Constraint Solving and Programming
S. Bistarelli, Stefano Bistarelli Semirings for Soft Constraint Solving and Programming Inglese 24.02.2004 Tascabile Fr. 69.00 6-7 settimane
Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems
Kim G. Larsen, Peter Niebert Formal Modeling and Analysis of Timed Systems Inglese 08.04.2004 Tascabile Fr. 69.00 6-7 settimane
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza Recent Advances in Constraints Inglese 07.04.2004 Tascabile Fr. 69.00 6-7 settimane
Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods Inglese 03.11.2006 Tascabile Fr. 69.00 6-7 settimane
Alan Hartman, David Kreische - Model Driven Architecture - Foundations and Applications
Alan Hartman, David Kreische Model Driven Architecture - Foundations and Applications Inglese 04.11.2005 Tascabile Fr. 69.00 6-7 settimane
Lin Padgham, Franco Zambonelli - Agent-Oriented Software Engineering VII
Lin Padgham, Franco Zambonelli Agent-Oriented Software Engineering VII Inglese 09.02.2007 Tascabile Fr. 69.00 6-7 settimane
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Inglese 25.11.2010 Tascabile Fr. 104.00 6-7 settimane
Norbert Eisinger, Jan Maluszynski - Reasoning Web
Norbert Eisinger, Jan Maluszynski Reasoning Web Inglese 19.07.2005 Tascabile Fr. 69.00 6-7 settimane
Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski - Formal Approaches to Agent-Based Systems
Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski Formal Approaches to Agent-Based Systems Inglese 31.01.2005 Tascabile Fr. 69.00 6-7 settimane
Jens Grabowski, Brian Nielsen - Formal Approaches to Software Testing
Jens Grabowski, Brian Nielsen Formal Approaches to Software Testing Inglese 07.03.2005 Tascabile Fr. 69.00 6-7 settimane
Maurice Margenstern - Machines, Computations, and Universality
Maurice Margenstern Machines, Computations, and Universality Inglese 08.03.2005 Tascabile Fr. 69.00 6-7 settimane
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub, Leopoldo Bertossi, Anthony Hunter, Torsten Schaub - Inconsistency Tolerance
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub, Leopoldo Bertossi, Anthony Hunter, Torsten Schaub Inconsistency Tolerance Inglese 27.01.2005 Tascabile Fr. 69.00 6-7 settimane
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert - Reasoning Web
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert Reasoning Web Inglese 25.08.2008 Tascabile Fr. 69.00 6-7 settimane