Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Gyungho Lee, Gyungho Lee, Gyungh Lee, Gyungho Lee, Pen-Chung Yew, Pen-Chung Yew... - Interaction Between Compilers and Computer Architectures
Gyungho Lee, Gyungho Lee, Gyungh Lee, Gyungho Lee, Pen-Chung Yew, Pen-Chung Yew... Interaction Between Compilers and Computer Architectures Inglese 21.10.2010 Tascabile Fr. 169.00 6-7 settimane
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 Inglese 21.10.2010 Tascabile Fr. 206.00 6-7 settimane
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
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
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
Waldemar Czuchra - UML in logistischen Prozessen
Waldemar Czuchra UML in logistischen Prozessen Tedesco 29.06.2010 Tascabile Fr. 26.50 6-7 settimane
Bräunl, T Bräunl, T. Bräunl, Thomas Bräunl, Feyrer, S Feyrer... - Parallel Image Processing
Bräunl, T Bräunl, T. Bräunl, Thomas Bräunl, Feyrer, S Feyrer... Parallel Image Processing Inglese 14.10.2010 Tascabile Fr. 70.00 6-7 settimane
Matthias Klusch, Matthias Klusch et al, Andrea Omicini, Robert Tolksdorf, Franc Zambonelli, Franco Zambonelli - Coordination of Internet Agents
Matthias Klusch, Matthias Klusch et al, Andrea Omicini, Robert Tolksdorf, Franc Zambonelli, Franco Zambonelli Coordination of Internet Agents Inglese 11.10.2010 Tascabile Fr. 70.00 6-7 settimane
Shaoying Liu - Formal Engineering for Industrial Software Development
Shaoying Liu Formal Engineering for Industrial Software Development Inglese 13.10.2010 Tascabile Fr. 70.00 6-7 settimane
Martin Große-Rhode - Semantic Integration of Heterogeneous Software Specifications
Martin Große-Rhode Semantic Integration of Heterogeneous Software Specifications Inglese 11.10.2010 Tascabile Fr. 189.00 6-7 settimane
Slim Abdennadher, Tho Frühwirth, Thom Frühwirth - Essentials of Constraint Programming
Slim Abdennadher, Tho Frühwirth, Thom Frühwirth Essentials of Constraint Programming Inglese 12.10.2010 Tascabile Fr. 70.00 6-7 settimane
Marku Aleksy, Markus Aleksy, Axe Korthaus, Axel Korthaus, Martin Schader - Implementing Distributed Systems with Java and CORBA
Marku Aleksy, Markus Aleksy, Axe Korthaus, Axel Korthaus, Martin Schader Implementing Distributed Systems with Java and CORBA Inglese 13.10.2010 Tascabile Fr. 70.00 6-7 settimane
Dines Bjørner - Software Engineering 1
Dines Bjørner Software Engineering 1 Inglese 11.10.2010 Tascabile Fr. 117.00 6-7 settimane
Antonio Badia - Quantifiers in Action
Antonio Badia Quantifiers in Action Inglese 11.05.2011 Tascabile Fr. 169.00 6-7 settimane
D Lytras, D Lytras, Miltiadis D. Lytras, Patrici Ordóñez de Pablos, Patricia Ordóñez de Pablos - The China Information Technology Handbook
D Lytras, D Lytras, Miltiadis D. Lytras, Patrici Ordóñez de Pablos, Patricia Ordóñez de Pablos The China Information Technology Handbook Inglese 16.02.2011 Tascabile Fr. 272.00 6-7 settimane