Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Giuseppe Mangioni - Intelligent Distributed Computing, Systems and Applications
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Giuseppe Mangioni Intelligent Distributed Computing, Systems and Applications Englisch 12.04.2011 Fester Einband Fr. 189.00 6-7 Wochen
Rogério de Lemos, Cristina Gacek, Cristina Gacek et al, Felicit Giandomenico, Felicita Giandomenico, Felicita di Giandomenico... - Architecting Dependable Systems V
Rogério de Lemos, Cristina Gacek, Cristina Gacek et al, Felicit Giandomenico, Felicita Giandomenico, Felicita di Giandomenico... Architecting Dependable Systems V Englisch 03.09.2008 Taschenbuch Fr. 70.00 6-7 Wochen
Khaled El-Fakih, Teru Higashino, Teruo Higashino, Kenji Suzuki, Keiichi Yasumoto, Keiichi Yasumoto et al - Formal Techniques for Networked and Distributed Systems - FORTE 2008
Khaled El-Fakih, Teru Higashino, Teruo Higashino, Kenji Suzuki, Keiichi Yasumoto, Keiichi Yasumoto et al Formal Techniques for Networked and Distributed Systems - FORTE 2008 Englisch 05.12.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Theodore P. Baker, Alai Bui, Alain Bui, Sebastien Tixeuil, Sébastien Tixeuil - Principles of Distributed Systems
Theodore P. Baker, Alai Bui, Alain Bui, Sebastien Tixeuil, Sébastien Tixeuil Principles of Distributed Systems Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Antoni Moreno, Antonio Moreno, Pavón, Pavón, Juan Pavón - Issues in Multi-Agent Systems
Antoni Moreno, Antonio Moreno, Pavón, Pavón, Juan Pavón Issues in Multi-Agent Systems Englisch 27.11.2007 Taschenbuch Fr. 70.00 6-7 Wochen
K. Nishina, Ke Nishina, Ken Nishina, H. Tsubaki, Hiroe Tsubaki, S. Yamada... - The Grammar of Technology Development
K. Nishina, Ke Nishina, Ken Nishina, H. Tsubaki, Hiroe Tsubaki, S. Yamada... The Grammar of Technology Development Englisch 28.01.2011 Fester Einband Fr. 189.00 6-7 Wochen
Eugeni Villar, Eugenio Villar - Embedded Systems Specification and Design Languages
Eugeni Villar, Eugenio Villar Embedded Systems Specification and Design Languages Englisch 29.06.2009 Fester Einband Fr. 135.00 6-7 Wochen
Doro A Peled, Doron A Peled, Leonore D Zuck, Francesco Logozzo, Doron A. Peled, Leonore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Doro A Peled, Doron A Peled, Leonore D Zuck, Francesco Logozzo, Doron A. Peled, Leonore D. Zuck Verification, Model Checking, and Abstract Interpretation Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Flamini Squazzoni, Flaminio Squazzoni - Epistemological Aspects of Computer Simulation in the Social Sciences
Flamini Squazzoni, Flaminio Squazzoni Epistemological Aspects of Computer Simulation in the Social Sciences Englisch 19.01.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Alessandr Aldini, Alessandro Aldini, Marc Bernardo, Marco Bernardo, Flav Corradini, Flavio Corradini - A Process Algebraic Approach to Software Architecture Design
Alessandr Aldini, Alessandro Aldini, Marc Bernardo, Marco Bernardo, Flav Corradini, Flavio Corradini A Process Algebraic Approach to Software Architecture Design Englisch 18.12.2009 Fester Einband Fr. 70.00 6-7 Wochen
Annie A. M. Cuyt, Annie A.M. Cuyt, Walter Kraemer, Walte Krämer, Walter Krämer, Wolfram Luther... - Numerical Validation in Current Hardware Architectures
Annie A. M. Cuyt, Annie A.M. Cuyt, Walter Kraemer, Walte Krämer, Walter Krämer, Wolfram Luther... Numerical Validation in Current Hardware Architectures Englisch 23.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Bria Bailey, Brian Bailey, Grant Martin - ESL Models and their Application
Bria Bailey, Brian Bailey, Grant Martin ESL Models and their Application Englisch 01.01.2014 Taschenbuch Fr. 149.00 6-7 Wochen
Peter Revesz - Introduction to Databases
Peter Revesz Introduction to Databases Englisch 01.12.2013 Taschenbuch Fr. 124.00 6-7 Wochen
Scot A Smolka, Scott A Smolka, Dina Goldin, Scott A. Smolka, Peter Wegner - Interactive Computation
Scot A Smolka, Scott A Smolka, Dina Goldin, Scott A. Smolka, Peter Wegner Interactive Computation Englisch 06.10.2010 Taschenbuch Fr. 189.00 6-7 Wochen
Lakhmi C. Jain, Vasil Palade, Vasile Palade, Srinivasan, Srinivasan, Dipti Srinivasan - Advances in Evolutionary Computing for System Design
Lakhmi C. Jain, Vasil Palade, Vasile Palade, Srinivasan, Srinivasan, Dipti Srinivasan Advances in Evolutionary Computing for System Design Englisch 06.10.2010 Taschenbuch Fr. 189.00 6-7 Wochen
Ke Nishina, Ken Nishina, Hiroe Tsubaki, Shu Yamada - The Grammar of Technology Development
Ke Nishina, Ken Nishina, Hiroe Tsubaki, Shu Yamada The Grammar of Technology Development Englisch 27.10.2010 Taschenbuch Fr. 189.00 6-7 Wochen
Eugeni Villar, Eugenio Villar - Embedded Systems Specification and Design Languages
Eugeni Villar, Eugenio Villar Embedded Systems Specification and Design Languages Englisch 20.10.2010 Taschenbuch Fr. 135.00 6-7 Wochen
Valeria Bertacco, Kai-hu Chang, Kai-hui Chang, Igor Markov, Igor L Markov, Igor L. Markov - Functional Design Errors in Digital Circuits
Valeria Bertacco, Kai-hu Chang, Kai-hui Chang, Igor Markov, Igor L Markov, Igor L. Markov Functional Design Errors in Digital Circuits Englisch 24.01.2011 Taschenbuch Fr. 189.00 6-7 Wochen
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, John-Jules Ch. Meyer, John-Jules Charles Meyer, Koe V Hindriks... - Specification and Verification of Multi-agent Systems
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, John-Jules Ch. Meyer, John-Jules Charles Meyer, Koe V Hindriks... Specification and Verification of Multi-agent Systems Englisch 02.09.2010 Fester Einband Fr. 189.00 6-7 Wochen
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. P. Schumann... - Applications of Neural Networks in High Assurance Systems
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. P. Schumann... Applications of Neural Networks in High Assurance Systems Englisch 12.11.2009 Fester Einband Fr. 189.00 6-7 Wochen