Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky - Computer Science Logic
Matthia Baaz, Matthias Baaz, M Makowsky, M Makowsky, J. A. Makowsky, Johann M. Makowsky Computer Science Logic Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane
Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer - Modular Programming Languages
Laszlo Böszörmenyi, Lászl Böszörményi, László Böszörményi, Schojer, Schojer, Peter Schojer Modular Programming Languages Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
E. Sheratt, Ede Sherratt, Edel Sherratt - Telecommunications and beyond: The Broader Applicability of SDL and MSC
E. Sheratt, Ede Sherratt, Edel Sherratt Telecommunications and beyond: The Broader Applicability of SDL and MSC Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Thomas Ball, Sriram K. Rajamani - Model Checking Software
Thomas Ball, Sriram K. Rajamani Model Checking Software Inglese 01.07.2009 Tascabile Fr. 70.00 6-7 settimane
Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics
Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv - Hardware and Software, Verification and Testing
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv Hardware and Software, Verification and Testing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B Inglese 02.08.2005 Tascabile Fr. 135.00 6-7 settimane
Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 Inglese 11.08.2005 Tascabile Fr. 70.00 6-7 settimane
Luc Cardelli, Luca Cardelli - ECOOP 2003 - Object-Oriented Programming
Luc Cardelli, Luca Cardelli ECOOP 2003 - Object-Oriented Programming Inglese 14.04.2009 Tascabile Fr. 135.00 6-7 settimane
Zhe Dang, Oscar H. Ibarra - Implementation and Application of Automata
Zhe Dang, Oscar H. Ibarra Implementation and Application of Automata Inglese 26.07.2011 Tascabile Fr. 70.00 6-7 settimane
D. Geist, Daniel Geist, E. Tronci, Enrico Tronci - Correct Hardware Design and Verification Methods
D. Geist, Daniel Geist, E. Tronci, Enrico Tronci Correct Hardware Design and Verification Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane