Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis Englisch 17.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface Englisch 23.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Englisch 21.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki - Computer Science Logic
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki Computer Science Logic Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Mark Wallace - Principles and Practice of Constraint Programming - CP 2004
Mark Wallace Principles and Practice of Constraint Programming - CP 2004 Englisch 29.08.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Vaclav Matousek, Paul Mautner, Roman Moucek, Karel Tauser - Text, Speech and Dialogue
Vaclav Matousek, Paul Mautner, Roman Moucek, Karel Tauser Text, Speech and Dialogue Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Marti Gogolla, Martin Gogolla, Kobryn, Kobryn, Cris Kobryn - UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools
Marti Gogolla, Martin Gogolla, Kobryn, Kobryn, Cris Kobryn UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Naoki Kobayashi, Benjamin C. Pierce - Theoretical Aspects of Computer Software
Naoki Kobayashi, Benjamin C. Pierce Theoretical Aspects of Computer Software Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 15.03.2011 Taschenbuch Fr. 70.00 6-7 Wochen
Chris George, Huaikou Miao - Formal Methods and Software Engineering
Chris George, Huaikou Miao Formal Methods and Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri - Foundations of Security Analysis and Design
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri Foundations of Security Analysis and Design Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
M. Hannebauer, Markus Hannebauer - Autonomous Dynamic Reconfiguration in Multi-Agent Systems
M. Hannebauer, Markus Hannebauer Autonomous Dynamic Reconfiguration in Multi-Agent Systems Englisch 08.03.2003 Taschenbuch Fr. 70.00 6-7 Wochen
Uw Hansmann, Uwe Hansmann, Martin Nicklous, Martin S Nicklous, Martin S. Nicklous, Thomas Schäck... - Smart Card Application Development Using Java, w. Smart Card
Uw Hansmann, Uwe Hansmann, Martin Nicklous, Martin S Nicklous, Martin S. Nicklous, Thomas Schäck... Smart Card Application Development Using Java, w. Smart Card Englisch 20.03.2001 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs Englisch 27.02.2002 Taschenbuch Fr. 70.00 6-7 Wochen
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Mauro Pezzè - Fundamental Approaches to Software Engineering
Mauro Pezzè Fundamental Approaches to Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen