Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

A W Roscoe, A. W. Roscoe, A.W. Roscoe - Understanding Concurrent Systems
A W Roscoe, A. W. Roscoe, A.W. Roscoe Understanding Concurrent Systems Englisch 18.12.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Meyyappan Ramanathan, Srikant Vijayaraghavan, Srikanth Vijayaraghavan - A Practical Guide for SystemVerilog Assertions
Meyyappan Ramanathan, Srikant Vijayaraghavan, Srikanth Vijayaraghavan A Practical Guide for SystemVerilog Assertions Englisch 01.01.2014 Taschenbuch Fr. 189.00 6-7 Wochen
Enric Giunchiglia, Enrico Giunchiglia, Walsh, Walsh, Toby Walsh - SAT 2005
Enric Giunchiglia, Enrico Giunchiglia, Walsh, Walsh, Toby Walsh SAT 2005 Englisch 01.01.2014 Taschenbuch Fr. 189.00 6-7 Wochen
Ren Jacquart, Rene Jacquart - Building the Information Society
Ren Jacquart, Rene Jacquart Building the Information Society Englisch 14.11.2013 Taschenbuch Fr. 189.00 6-7 Wochen
Diete Krause, Dieter Krause, Loch, Loch, Horst Loch - Mathematical Simulation in Glass Technology
Diete Krause, Dieter Krause, Loch, Loch, Horst Loch Mathematical Simulation in Glass Technology Englisch 13.11.2013 Taschenbuch Fr. 357.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 01.01.2014 Taschenbuch Fr. 70.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 17.10.2013 Taschenbuch Fr. 135.00 6-7 Wochen
Deved, Vladan Deved ic, Vladan Deved¿ic, Vlada Devedzic, Vladan Devedzic, Vladan Devedžic - Artificial Intelligence Applications and Innovations
Deved, Vladan Deved ic, Vladan Deved¿ic, Vlada Devedzic, Vladan Devedzic, Vladan Devedžic Artificial Intelligence Applications and Innovations Englisch 16.10.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Guang R. Gao, Bernd Kleinjohann, Lisa Kleinjohann, Hermann Kopetz, Hermann Kopetz et al, Guan R Gao... - Design Methods and Applications for Distributed Embedded Systems
Guang R. Gao, Bernd Kleinjohann, Lisa Kleinjohann, Hermann Kopetz, Hermann Kopetz et al, Guan R Gao... Design Methods and Applications for Distributed Embedded Systems Englisch 16.10.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Shiguo Lian, Nikolaos Nikolaidis, Nikolaos Nikolaidis et al, Husrev T. Sencar, Sergi Velastin, Sergio Velastin - Intelligent Multimedia Analysis for Security Applications
Shiguo Lian, Nikolaos Nikolaidis, Nikolaos Nikolaidis et al, Husrev T. Sencar, Sergi Velastin, Sergio Velastin Intelligent Multimedia Analysis for Security Applications Englisch 09.02.2010 Fester Einband Fr. 189.00 6-7 Wochen
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 03.11.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Luc Claesen, Ricardo Reis, Ricardo Reis et al, Maria-Teres Sanz-Pascual, Maria-Teresa Sanz-Pascual, Arturo Sarmiento-Reyes - VLSI-SoC: Internet of Things Foundations
Luc Claesen, Ricardo Reis, Ricardo Reis et al, Maria-Teres Sanz-Pascual, Maria-Teresa Sanz-Pascual, Arturo Sarmiento-Reyes VLSI-SoC: Internet of Things Foundations Englisch 01.01.2015 Fester Einband Fr. 70.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 21.10.2010 Taschenbuch Fr. 159.00 6-7 Wochen
Bernd Finkbeiner, Geguan Pu, Geguang Pu, Lijun Zhang - Automated Technology for Verification and Analysis
Bernd Finkbeiner, Geguan Pu, Geguang Pu, Lijun Zhang Automated Technology for Verification and Analysis Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Marco Gavanelli, Evelin Lamma, Evelina Lamma, Fabrizio Riguzzi - AI*IA 2015 Advances in Artificial Intelligence
Marco Gavanelli, Evelin Lamma, Evelina Lamma, Fabrizio Riguzzi AI*IA 2015 Advances in Artificial Intelligence Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XI
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency XI Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug Computer Safety, Reliability, and Security Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Marta Beltrán, Jeremy Bradley, Willia Knottenbelt, William Knottenbelt - Computer Performance Engineering
Marta Beltrán, Jeremy Bradley, Willia Knottenbelt, William Knottenbelt Computer Performance Engineering Englisch 01.01.2015 Taschenbuch Fr. 68.00 6-7 Wochen
Michae Leuschel, Michael Leuschel, Wehrheim, Wehrheim, Heike Wehrheim - Integrated Formal Methods
Michae Leuschel, Michael Leuschel, Wehrheim, Wehrheim, Heike Wehrheim Integrated Formal Methods Englisch 01.01.2009 Taschenbuch Fr. 70.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 14.04.2009 Fester Einband Fr. 189.00 6-7 Wochen