Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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. 70.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. 70.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. 70.00 6-7 settimane
Maurice Margenstern - Machines, Computations, and Universality
Maurice Margenstern Machines, Computations, and Universality Inglese 08.03.2005 Tascabile Fr. 70.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. 70.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. 70.00 6-7 settimane
Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering V
Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering V Inglese 24.01.2005 Tascabile Fr. 70.00 6-7 settimane
Oleg Sokolsky, Serdar Tasiran - Runtime Verification
Oleg Sokolsky, Serdar Tasiran Runtime Verification Inglese 12.12.2007 Tascabile Fr. 70.00 6-7 settimane
Marc-Philippe Huget, Marc-Phillipe Huget - Communication in Multiagent Systems
Marc-Philippe Huget, Marc-Phillipe Huget Communication in Multiagent Systems Inglese 25.06.2003 Tascabile Fr. 70.00 6-7 settimane
Bernhard Beckert, Reiner Hähnle - Tests and Proofs
Bernhard Beckert, Reiner Hähnle Tests and Proofs Inglese 31.03.2008 Tascabile Fr. 70.00 6-7 settimane
András Horváth, Miklós Telek - Formal Methods and Stochastic Models for Performance Evaluation
András Horváth, Miklós Telek Formal Methods and Stochastic Models for Performance Evaluation Inglese 12.06.2006 Tascabile Fr. 70.00 6-7 settimane
Luca de Alfaro, Stephen Gilmore - Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Luca de Alfaro, Stephen Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification Inglese 29.08.2001 Tascabile Fr. 70.00 6-7 settimane
Marlon Dumas, Reiko Heckel - Web Services and Formal Methods
Marlon Dumas, Reiko Heckel Web Services and Formal Methods Inglese 11.04.2008 Tascabile Fr. 70.00 6-7 settimane
Michael Luck, Lin Padgham - Agent-Oriented Software Engineering VIII
Michael Luck, Lin Padgham Agent-Oriented Software Engineering VIII Inglese 29.04.2008 Tascabile Fr. 70.00 6-7 settimane
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Andrea Corradini, Hartmu Ehrig, Hartmut Ehrig, Ugo Montanari, Ugo Montanari et al, Leila Ribeiro... - Graph Transformations
Andrea Corradini, Hartmu Ehrig, Hartmut Ehrig, Ugo Montanari, Ugo Montanari et al, Leila Ribeiro... Graph Transformations Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane