Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones - Computer Aided Verification
B Jones, B Jones, Thoma Ball, Thomas Ball, Robert B. Jones Computer Aided Verification Inglese 19.02.2009 Tascabile Fr. 135.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
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
Holger Hermanns, Jens Palsberg - Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns, Jens Palsberg Tools and Algorithms for the Construction and Analysis of Systems Inglese 15.03.2006 Tascabile Fr. 69.00 6-7 settimane
Iliano Cervesato, Helmu Veith, Helmut Veith, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmu Veith, Helmut Veith, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 12.04.2011 Tascabile Fr. 135.00 6-7 settimane
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu - Program Development in Computational Logic
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu Program Development in Computational Logic Inglese 17.08.2004 Tascabile Fr. 70.00 6-7 settimane