Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Naoki Kobayashi, Benjamin C. Pierce - Theoretical Aspects of Computer Software
Naoki Kobayashi, Benjamin C. Pierce Theoretical Aspects of Computer Software Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Reinhar Gotzhein, Reinhard Gotzhein, Reed, Reed, Rick Reed - System Analysis and Modeling: Language Profiles
Reinhar Gotzhein, Reinhard Gotzhein, Reed, Reed, Rick Reed System Analysis and Modeling: Language Profiles Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
Chris George, Huaikou Miao - Formal Methods and Software Engineering
Chris George, Huaikou Miao Formal Methods and Software Engineering Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Manindra Agrawal, Anil Seth - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Manindra Agrawal, Anil Seth FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Doron Peled, Doron A. Peled, Moshe Y Vardi, Moshe Y. Vardi - Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron Peled, Doron A. Peled, Moshe Y Vardi, Moshe Y. Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene Abstract State Machines 2003: Advances in Theory and Practice Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Robert Laddaga, Pau Robertson, Paul Robertson, Howie Shrobe - Self-Adaptive Software
Robert Laddaga, Pau Robertson, Paul Robertson, Howie Shrobe Self-Adaptive Software Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... - Software Security -- Theories and Systems
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... Software Security -- Theories and Systems Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs Inglese 27.02.2002 Tascabile Fr. 70.00 6-7 settimane
Hartmut Ehrig, Gabrie Juhas, Gabriel Juhas, Julia Padberg, Julia Padberg et al, Grzegorz Rozenberg - Unifying Petri Nets
Hartmut Ehrig, Gabrie Juhas, Gabriel Juhas, Julia Padberg, Julia Padberg et al, Grzegorz Rozenberg Unifying Petri Nets Inglese 26.02.2002 Tascabile Fr. 70.00 6-7 settimane
Hubert Garavel, John Hatcliff - Tools and Algorithms for the Construction and Analysis of Systems
Hubert Garavel, John Hatcliff Tools and Algorithms for the Construction and Analysis of Systems Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Mauro Pezzè - Fundamental Approaches to Software Engineering
Mauro Pezzè Fundamental Approaches to Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko Adaptive Agents and Multi-Agent Systems Inglese 22.05.2003 Tascabile Fr. 70.00 6-7 settimane
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... - Types for Proofs and Programs
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... Types for Proofs and Programs Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra - Developments in Language Theory
Dang, Dang, Zhe Dang, Osca H Ibarra, Oscar H Ibarra, Oscar H. Ibarra Developments in Language Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer - Algebra, Meaning, and Computation
Kokichi Futatsugi, Jean-Pierr Jouannaud, Jean-Pierre Jouannaud, José Meseguer Algebra, Meaning, and Computation Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä - Finite-State Methods and Natural Language Processing
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä Finite-State Methods and Natural Language Processing Inglese 19.02.2009 Tascabile Fr. 69.00 6-7 settimane
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Inglese 20.10.2006 Tascabile Fr. 70.00 6-7 settimane