Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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. 69.00 6-7 settimane
Oleg Sokolsky, Serdar Tasiran - Runtime Verification
Oleg Sokolsky, Serdar Tasiran Runtime Verification Inglese 12.12.2007 Tascabile Fr. 69.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. 69.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. 69.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. 69.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. 69.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. 69.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. 69.00 6-7 settimane
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming Inglese 14.04.2009 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
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
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual Inglese 29.01.2004 Tascabile Fr. 70.00 6-7 settimane
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support Inglese 18.11.2003 Tascabile Fr. 70.00 6-7 settimane
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems Inglese 12.11.2003 Tascabile Fr. 70.00 6-7 settimane
Michael Schroeder, Gerd Wagner - Rules and Rule Markup Languages for the Semantic Web
Michael Schroeder, Gerd Wagner Rules and Rule Markup Languages for the Semantic Web Inglese 09.10.2003 Tascabile Fr. 70.00 6-7 settimane
R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II
R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II Inglese 28.01.2004 Tascabile Fr. 70.00 6-7 settimane
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction Inglese 18.03.2004 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software Inglese 18.03.2004 Tascabile Fr. 70.00 6-7 settimane
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments Inglese 04.04.2001 Tascabile Fr. 70.00 6-7 settimane
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software Inglese 02.05.2001 Tascabile Fr. 70.00 6-7 settimane