Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Christop Grimm, Christoph Grimm - Languages for System Specification
Christop Grimm, Christoph Grimm Languages for System Specification Englisch 21.10.2010 Taschenbuch Fr. 210.00 6-7 Wochen
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell - Thinking with Diagrams
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell Thinking with Diagrams Englisch 07.10.2010 Taschenbuch Fr. 153.00 6-7 Wochen
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... - New Essays in Free Logic
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... New Essays in Free Logic Englisch 07.10.2010 Taschenbuch Fr. 169.00 6-7 Wochen
K. Denecke, Klaus Denecke, Erné, M Erné, M. Erné, S L Wismath... - Galois Connections and Applications
K. Denecke, Klaus Denecke, Erné, M Erné, M. Erné, S L Wismath... Galois Connections and Applications Englisch 07.10.2010 Taschenbuch Fr. 147.00 6-7 Wochen
Mar Boulé, Marc Boulé, Zeljko Zilic - Generating Hardware Assertion Checkers
Mar Boulé, Marc Boulé, Zeljko Zilic Generating Hardware Assertion Checkers Englisch 20.10.2010 Taschenbuch Fr. 169.00 6-7 Wochen
Masselos, Masselos, Konstantinos Masselos, Nikolao Voros, Nikolaos Voros - System Level Design of Reconfigurable Systems-on-Chip
Masselos, Masselos, Konstantinos Masselos, Nikolao Voros, Nikolaos Voros System Level Design of Reconfigurable Systems-on-Chip Englisch 21.10.2010 Taschenbuch Fr. 189.00 6-7 Wochen
Peter Marwedel, Manis Verma, Manish Verma - Advanced Memory Optimization Techniques for Low-Power Embedded Processors
Peter Marwedel, Manis Verma, Manish Verma Advanced Memory Optimization Techniques for Low-Power Embedded Processors Englisch 18.10.2010 Taschenbuch Fr. 179.00 6-7 Wochen
Claudio Agostin Ardagna, Claudio Agostino Ardagna, Ernest Damiani, Ernesto Damiani, El Ioin, Nabil El Ioini... - Open Source Systems Security Certification
Claudio Agostin Ardagna, Claudio Agostino Ardagna, Ernest Damiani, Ernesto Damiani, El Ioin, Nabil El Ioini... Open Source Systems Security Certification Englisch 20.12.2010 Taschenbuch Fr. 158.00 6-7 Wochen
Robert Ekendahl, Mik Mintz, Mike Mintz - Hardware Verification with System Verilog
Robert Ekendahl, Mik Mintz, Mike Mintz Hardware Verification with System Verilog Englisch 22.10.2010 Taschenbuch Fr. 179.00 6-7 Wochen
Rajanish K et Kamat, Rajanish K. Kamat, G. M. Naik, G.M. Naik, Jiva Parab, Jivan Parab... - Exploring C for Microcontrollers
Rajanish K et Kamat, Rajanish K. Kamat, G. M. Naik, G.M. Naik, Jiva Parab, Jivan Parab... Exploring C for Microcontrollers Englisch 20.10.2010 Taschenbuch Fr. 139.00 6-7 Wochen
Annabell McIver, Annabelle McIver, Carroll Morgan, Charles Carroll Morgan - Abstraction, Refinement and Proof for Probabilistic Systems
Annabell McIver, Annabelle McIver, Carroll Morgan, Charles Carroll Morgan Abstraction, Refinement and Proof for Probabilistic Systems Englisch 27.10.2010 Taschenbuch Fr. 203.00 6-7 Wochen
Dines Bjørner - Software Engineering 3
Dines Bjørner Software Engineering 3 Englisch 11.10.2010 Taschenbuch Fr. 147.00 6-7 Wochen
Dines Bjørner - Software Engineering 2
Dines Bjørner Software Engineering 2 Englisch 11.10.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca The Parametric Lambda Calculus Englisch 11.10.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou - Duration Calculus
Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou Duration Calculus Englisch 13.10.2010 Taschenbuch Fr. 135.00 6-7 Wochen
Werner Kluge - Abstract Computing Machines
Werner Kluge Abstract Computing Machines Englisch 11.10.2010 Taschenbuch Fr. 135.00 6-7 Wochen
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan - Programming Methodology
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan Programming Methodology Englisch 26.10.2010 Taschenbuch Fr. 146.00 6-7 Wochen
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar - System on Chip Design Languages
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar System on Chip Design Languages Englisch 21.10.2010 Taschenbuch Fr. 189.00 6-7 Wochen
David J Pym, David J. Pym - The Semantics and Proof Theory of the Logic of Bunched Implications
David J Pym, David J. Pym The Semantics and Proof Theory of the Logic of Bunched Implications Englisch 07.10.2010 Taschenbuch Fr. 188.00 6-7 Wochen
Eric Wong, W Eric Wong, W. Eric Wong - Mutation Testing for the New Century
Eric Wong, W Eric Wong, W. Eric Wong Mutation Testing for the New Century Englisch 21.10.2010 Taschenbuch Fr. 189.00 6-7 Wochen