Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Khurshi Ahmad, Khurshid Ahmad, Marianne Kugler, Gregor Thurmair - Translator's Workbench
Khurshi Ahmad, Khurshid Ahmad, Marianne Kugler, Gregor Thurmair Translator's Workbench Englisch 01.01.1995 Taschenbuch Fr. 70.00 6-7 Wochen
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... - Applications of Neural Networks in High Assurance Systems
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... Applications of Neural Networks in High Assurance Systems Englisch 11.05.2012 Taschenbuch Fr. 189.00 6-7 Wochen
Frances Moll, Francesc Moll, Miquel Roca - Interconnection Noise in VLSI Circuits
Frances Moll, Francesc Moll, Miquel Roca Interconnection Noise in VLSI Circuits Englisch 01.01.2003 Fester Einband Fr. 159.00 6-7 Wochen
Diete Krause, Dieter Krause, Loch, Loch, Horst Loch - Mathematical Simulation in Glass Technology, w. CD-ROM
Diete Krause, Dieter Krause, Loch, Loch, Horst Loch Mathematical Simulation in Glass Technology, w. CD-ROM Englisch 01.01.2002 Fester Einband Fr. 357.00 6-7 Wochen
A. K. Hyder, Anthony K. Hyder, E. Shahbazian, E. Waltz - Multisensor Fusion
A. K. Hyder, Anthony K. Hyder, E. Shahbazian, E. Waltz Multisensor Fusion Englisch 14.04.2009 Fester Einband Fr. 239.00 6-7 Wochen
Bhattacharya, Bhattacharya, Sourav Bhattacharya, Victo L Winter, Victor L Winter, Victor L. Winter - High Integrity Software
Bhattacharya, Bhattacharya, Sourav Bhattacharya, Victo L Winter, Victor L Winter, Victor L. Winter High Integrity Software Englisch 26.06.2009 Fester Einband Fr. 189.00 6-7 Wochen
Rainer Domer, Rainer Domer et al, Andreas Gerstlauer, Franz Rammig, Achim Rettberg, Maur Zanella... - Embedded System Design: Topics, Techniques and Trends
Rainer Domer, Rainer Domer et al, Andreas Gerstlauer, Franz Rammig, Achim Rettberg, Maur Zanella... Embedded System Design: Topics, Techniques and Trends Englisch 14.04.2009 Fester Einband Fr. 135.00 6-7 Wochen
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli - Multiple Classifier Systems
Michal Haindl, Kittler Josef, Josef Kittler, Fabio Roli Multiple Classifier Systems Englisch 13.04.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Lucian Baresi, Luciano Baresi, Elisabetta Di Nitto - Test and Analysis of Web Services
Lucian Baresi, Luciano Baresi, Elisabetta Di Nitto Test and Analysis of Web Services Englisch 14.04.2009 Fester Einband Fr. 70.00 6-7 Wochen
Mieczyslaw A. Klopotek, Macie Michalewicz, Maciej Michalewicz, Slawomir T Wierzchon, Slawomir T. Wierzchon, Slwamir T. Wierzchon - Intelligent Information Systems 2001
Mieczyslaw A. Klopotek, Macie Michalewicz, Maciej Michalewicz, Slawomir T Wierzchon, Slawomir T. Wierzchon, Slwamir T. Wierzchon Intelligent Information Systems 2001 Englisch 14.12.2012 Taschenbuch Fr. 135.00 6-7 Wochen
Kousha Etessami, Sriram K. Rajamani - Computer Aided Verification
Kousha Etessami, Sriram K. Rajamani Computer Aided Verification Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Flavi Oquendo, Flavio Oquendo - Software Architecture
Flavi Oquendo, Flavio Oquendo Software Architecture Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Ajit Abraham, Ajith Abraham, Mario Koeppen, Köppen, Köppen, Mario Köppen - Hybrid Information Systems
Ajit Abraham, Ajith Abraham, Mario Koeppen, Köppen, Köppen, Mario Köppen Hybrid Information Systems Englisch 16.08.2002 Taschenbuch Fr. 135.00 6-7 Wochen
Csill Farkas, Csilla Farkas, Samarati, Samarati, Pierangela Samarati - Research Directions in Data and Applications Security XVIII
Csill Farkas, Csilla Farkas, Samarati, Samarati, Pierangela Samarati Research Directions in Data and Applications Security XVIII Englisch 26.07.2011 Fester Einband Fr. 135.00 6-7 Wochen
S. Aguzzoli, Stefano Aguzzoli, Ciabattoni, A Ciabattoni, A. Ciabattoni, Agata Ciabattoni... - Algebraic and Proof-theoretic Aspects of Non-classical Logics
S. Aguzzoli, Stefano Aguzzoli, Ciabattoni, A Ciabattoni, A. Ciabattoni, Agata Ciabattoni... Algebraic and Proof-theoretic Aspects of Non-classical Logics Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 02.08.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Luisa Consolini, Michael Haug, Eric W. Olsen, Eri W Olsen, Eric W Olsen - Software Quality Approaches: Testing, Verification, and Validation
Luisa Consolini, Michael Haug, Eric W. Olsen, Eri W Olsen, Eric W Olsen Software Quality Approaches: Testing, Verification, and Validation Englisch 05.11.2001 Taschenbuch Fr. 70.00 6-7 Wochen
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Fran Dignum, Frank Dignum - Advances in Agent Communication
Fran Dignum, Frank Dignum Advances in Agent Communication Englisch 06.07.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Monika Heiner, Hartmut König, Adam Wolisz - Formal Techniques for Networked and Distributed Systems - FORTE 2003
Monika Heiner, Hartmut König, Adam Wolisz Formal Techniques for Networked and Distributed Systems - FORTE 2003 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen