Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Katharina Benkert, Wolfgang Bez, Thomas Bönisch, Toshiyuki Furui, Michael Resch, Yoshiki Seo - High Performance Computing on Vector Systems 2005
Katharina Benkert, Wolfgang Bez, Thomas Bönisch, Toshiyuki Furui, Michael Resch, Yoshiki Seo High Performance Computing on Vector Systems 2005 Anglais 14.04.2009 Livre Relié Fr. 135.00 6-7 semaines
Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu - Embedded Software and Systems
Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu Embedded Software and Systems Anglais 14.04.2009 Livre de poche Fr. 135.00 6-7 semaines
Robert W Brodersen, Robert W. Brodersen, Thomas Burd, Thomas D Burd, Thomas D. Burd - Energy Efficient Microprocessor Design
Robert W Brodersen, Robert W. Brodersen, Thomas Burd, Thomas D Burd, Thomas D. Burd Energy Efficient Microprocessor Design Anglais 14.04.2009 Livre Relié Fr. 135.00 6-7 semaines
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink Formal Methods for Open Object-Based Distributed Systems V Anglais 03.03.2011 Livre Relié Fr. 135.00 6-7 semaines
Hartmu König, Hartmut König, Ina Schieferdecker, Adam Wolisz - Testing of Communicating Systems XIV
Hartmu König, Hartmut König, Ina Schieferdecker, Adam Wolisz Testing of Communicating Systems XIV Anglais 14.04.2009 Livre Relié Fr. 189.00 6-7 semaines
L Spooner, L Spooner, Martin S. Olivier, Marti S Olivier, Martin S Olivier, David L. Spooner - Database and Application Security XV
L Spooner, L Spooner, Martin S. Olivier, Marti S Olivier, Martin S Olivier, David L. Spooner Database and Application Security XV Anglais 26.06.2009 Livre Relié Fr. 135.00 6-7 semaines
Koen Bertels, Joao M. P. Cardoso, Joao M.P. Cardoso, Pedro C. Diniz, Marcio Merino Fernandes, Eduardo Marques - Reconfigurable Computing: Architectures, Tools and Applications
Koen Bertels, Joao M. P. Cardoso, Joao M.P. Cardoso, Pedro C. Diniz, Marcio Merino Fernandes, Eduardo Marques Reconfigurable Computing: Architectures, Tools and Applications Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Joerg Henkel, Jör Henkel, Jörg Henkel, Parameswaran, Parameswaran, Sri Parameswaran - Designing Embedded Processors
Joerg Henkel, Jör Henkel, Jörg Henkel, Parameswaran, Parameswaran, Sri Parameswaran Designing Embedded Processors Anglais 27.08.2007 Livre Relié Fr. 207.00 6-7 semaines
Heung-Na Kim, Heung-Nam Kim, Jong Kim, Sung Won Kim, Jong Kim et al, Yann-Hang Lee... - Embedded Software and Systems
Heung-Na Kim, Heung-Nam Kim, Jong Kim, Sung Won Kim, Jong Kim et al, Yann-Hang Lee... Embedded Software and Systems Anglais 17.05.2011 Livre de poche Fr. 135.00 6-7 semaines
Jett Kleijn, Jetty Kleijn, Yakovlev, Yakovlev, Alex Yakovlev - Petri Nets and Other Models of Concurrency - ICATPN 2007
Jett Kleijn, Jetty Kleijn, Yakovlev, Yakovlev, Alex Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007 Anglais 29.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Dongmin Ki, Dongmin Kim, Dongmin Kim, Salim Hariri, Dongmin Kim - Virtual Computing
Dongmin Ki, Dongmin Kim, Dongmin Kim, Salim Hariri, Dongmin Kim Virtual Computing Anglais 26.06.2009 Livre Relié Fr. 135.00 6-7 semaines
Manfred Pflanz, Matthias Pflanz - On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
Manfred Pflanz, Matthias Pflanz On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors Anglais 25.04.2002 Livre de poche Fr. 70.00 6-7 semaines
Jar Nurmi, Jari Nurmi - Processor Design
Jar Nurmi, Jari Nurmi Processor Design Anglais 28.08.2007 Livre Relié Fr. 189.00 6-7 semaines
Kousha Etessami, Sriram K. Rajamani - Computer Aided Verification
Kousha Etessami, Sriram K. Rajamani Computer Aided Verification Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Werner Damm, Holger Hermanns - Computer Aided Verification
Werner Damm, Holger Hermanns Computer Aided Verification Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Mlade Berekovic, Mladen Berekovic, Timo D Hämäläinen, Timo D. Hämäläinen, Stamatis Vassiliadis - Embedded Computer Systems: Architectures, Modeling, and Simulation
Mlade Berekovic, Mladen Berekovic, Timo D Hämäläinen, Timo D. Hämäläinen, Stamatis Vassiliadis Embedded Computer Systems: Architectures, Modeling, and Simulation Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Sangyeun Cho, Lynn Choi, Yunheung Paek - Advances in Computer Systems Architecture
Sangyeun Cho, Lynn Choi, Yunheung Paek Advances in Computer Systems Architecture Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Byoungmoon Chin, Byoungmoon Chin, Byoungmoo Chin, Byoungmoon Chin, Danhyung Lee, Danhyung Lee... - Formal Techniques for Networked and Distributed Systems
Byoungmoon Chin, Byoungmoon Chin, Byoungmoo Chin, Byoungmoon Chin, Danhyung Lee, Danhyung Lee... Formal Techniques for Networked and Distributed Systems Anglais 03.03.2011 Livre Relié Fr. 239.00 6-7 semaines
Jens Brandt, Klaus Schneider - Theorem Proving in Higher Order Logics
Jens Brandt, Klaus Schneider Theorem Proving in Higher Order Logics Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
A Henzinger, A Henzinger, Jacque Duparc, Jacques Duparc, Thomas A. Henzinger - Computer Science Logic
A Henzinger, A Henzinger, Jacque Duparc, Jacques Duparc, Thomas A. Henzinger Computer Science Logic Anglais 14.04.2009 Livre de poche Fr. 135.00 6-7 semaines