Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs Inglese 26.05.2008 Tascabile Fr. 70.00 6-7 settimane
Jeanne Reed, Rick Reed - SDL 2001: Meeting UML
Jeanne Reed, Rick Reed SDL 2001: Meeting UML Inglese 18.06.2001 Tascabile Fr. 70.00 6-7 settimane
Arnaud Carayol, Cyril Nicaud - Implementation and Application of Automata
Arnaud Carayol, Cyril Nicaud Implementation and Application of Automata Inglese 28.05.2017 Tascabile Fr. 70.00 6-7 settimane
Cezar Câmpeanu, Giovanni Pighizzini - Descriptional Complexity of Formal Systems
Cezar Câmpeanu, Giovanni Pighizzini Descriptional Complexity of Formal Systems Inglese 03.06.2017 Tascabile Fr. 70.00 6-7 settimane
Supratik Chakraborty, Madhavan Mukund - Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund Automated Technology for Verification and Analysis Inglese 16.08.2012 Tascabile Fr. 70.00 6-7 settimane
Kazuhiro Kuwabara, Jaeho Lee - Intelligent Agents and Multi-Agent Systems
Kazuhiro Kuwabara, Jaeho Lee Intelligent Agents and Multi-Agent Systems Inglese 05.08.2002 Tascabile Fr. 70.00 6-7 settimane
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms Inglese 06.11.2008 Tascabile Fr. 70.00 6-7 settimane
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. 70.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. 70.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. 70.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. 70.00 6-7 settimane
Markus Müller-Olm - Variations on Constants
Markus Müller-Olm Variations on Constants Inglese 02.10.2006 Tascabile Fr. 70.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. 70.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. 70.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. 70.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. 70.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. 70.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. 70.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. 70.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. 70.00 6-7 settimane