Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman - Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Janus Górski, Janusz Górski, Janusz Gòrski - Computer Safety, Reliability, and Security
Janus Górski, Janusz Górski, Janusz Gòrski Computer Safety, Reliability, and Security Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Manfred Broy, Ingolf Krüger, Michael Meisinger - Automotive Software-Connected Services in Mobile Networks
Manfred Broy, Ingolf Krüger, Michael Meisinger Automotive Software-Connected Services in Mobile Networks Inglese 05.11.2012 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis
Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Ivic Crnkovic, Ivica Crnkovic, Ralf H Reussner, Christine Hofmeister, Ralf Reussner, Ralf H. Reussner - Quality of Software Architectures
Ivic Crnkovic, Ivica Crnkovic, Ralf H Reussner, Christine Hofmeister, Ralf Reussner, Ralf H. Reussner Quality of Software Architectures Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach Inglese 14.04.2009 Tascabile Fr. 135.00 6-7 settimane
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv - Program Analysis and Compilation, Theory and Practice
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv Program Analysis and Compilation, Theory and Practice Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
A. Bemporad, Alberto Bemporad, Antonio Bicchi, A. Bicci, Giorgio Buttazzo, Giorgio C Buttazzo... - Hybrid Systems: Computation and Control
A. Bemporad, Alberto Bemporad, Antonio Bicchi, A. Bicci, Giorgio Buttazzo, Giorgio C Buttazzo... Hybrid Systems: Computation and Control Inglese 08.05.2007 Tascabile Fr. 135.00 6-7 settimane
Sergei Artemov, Sergei N. Artemov, Anil Nerode - Logical Foundations of Computer Science
Sergei Artemov, Sergei N. Artemov, Anil Nerode Logical Foundations of Computer Science Inglese 19.02.2009 Tascabile Fr. 70.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
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