Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Christop Grimm, Christoph Grimm - Languages for System Specification
Christop Grimm, Christoph Grimm Languages for System Specification Inglese 21.10.2010 Tascabile Fr. 210.00 6-7 settimane
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell - Thinking with Diagrams
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell Thinking with Diagrams Inglese 07.10.2010 Tascabile Fr. 153.00 6-7 settimane
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 Inglese 07.10.2010 Tascabile Fr. 169.00 6-7 settimane
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 Inglese 07.10.2010 Tascabile Fr. 135.00 6-7 settimane
Robert Ekendahl, Mik Mintz, Mike Mintz - Hardware Verification with System Verilog
Robert Ekendahl, Mik Mintz, Mike Mintz Hardware Verification with System Verilog Inglese 22.10.2010 Tascabile Fr. 179.00 6-7 settimane
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 Inglese 20.10.2010 Tascabile Fr. 139.00 6-7 settimane
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 Inglese 18.10.2010 Tascabile Fr. 179.00 6-7 settimane
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 Inglese 27.10.2010 Tascabile Fr. 203.00 6-7 settimane
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 Inglese 11.10.2010 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 13.10.2010 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 20.12.2010 Tascabile Fr. 158.00 6-7 settimane
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 Inglese 21.10.2010 Tascabile Fr. 189.00 6-7 settimane
Mar Boulé, Marc Boulé, Zeljko Zilic - Generating Hardware Assertion Checkers
Mar Boulé, Marc Boulé, Zeljko Zilic Generating Hardware Assertion Checkers Inglese 20.10.2010 Tascabile Fr. 169.00 6-7 settimane
Werner Kluge - Abstract Computing Machines
Werner Kluge Abstract Computing Machines Inglese 11.10.2010 Tascabile Fr. 135.00 6-7 settimane
Joaquim Filipe, Markus Helfert, Bori Shishkov, Boris Shishkov - Software and Data Technologies
Joaquim Filipe, Markus Helfert, Bori Shishkov, Boris Shishkov Software and Data Technologies Inglese 29.01.2013 Tascabile Fr. 135.00 6-7 settimane
Waldemar Czuchra - UML in logistischen Prozessen
Waldemar Czuchra UML in logistischen Prozessen Tedesco 29.06.2010 Tascabile Fr. 26.50 6-7 settimane
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... - Fundamentals of Algebraic Graph Transformation
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... Fundamentals of Algebraic Graph Transformation Inglese 12.10.2010 Tascabile Fr. 158.00 6-7 settimane
Pierre M Nugues, Pierre M. Nugues - An Introduction to Language Processing with Perl and Prolog
Pierre M Nugues, Pierre M. Nugues An Introduction to Language Processing with Perl and Prolog Inglese 13.10.2010 Tascabile Fr. 124.00 6-7 settimane
Dic Grune, Dick Grune, Ceriel Jacobs, Ceriel J H Jacobs, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs - Parsing Techniques
Dic Grune, Dick Grune, Ceriel Jacobs, Ceriel J H Jacobs, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs Parsing Techniques Inglese 27.10.2010 Tascabile Fr. 222.00 6-7 settimane
Needamangalam Balachander, Needamangalam B Balachander, Needamangalam B. Balachander, Shivakumar Chonnad, Shivakumar S. Chonnad, Shivakumar S Chonnad... - Verilog: Frequently Asked Questions
Needamangalam Balachander, Needamangalam B Balachander, Needamangalam B. Balachander, Shivakumar Chonnad, Shivakumar S. Chonnad, Shivakumar S Chonnad... Verilog: Frequently Asked Questions Inglese 27.10.2010 Tascabile Fr. 159.00 6-7 settimane