Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Ferrol Aderholdt, Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale - OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
Ferrol Aderholdt, Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity Inglese 19.03.2019 Tascabile Fr. 70.00 6-7 settimane
Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck - Architecture of Computing Systems - ARCS 2018
Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck Architecture of Computing Systems - ARCS 2018 Inglese 08.03.2018 Tascabile Fr. 70.00 6-7 settimane
Barbara M. Chapman, Bronis R. de Supinski, Matthias S. Müller, Stephen L. Olivier, Christian Terboven - Scaling OpenMP for Exascale Performance and Portability
Barbara M. Chapman, Bronis R. de Supinski, Matthias S. Müller, Stephen L. Olivier, Christian Terboven Scaling OpenMP for Exascale Performance and Portability Inglese 17.08.2017 Tascabile Fr. 70.00 6-7 settimane
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification Inglese 01.01.2003 Tascabile Fr. 70.00 6-7 settimane
Thomas Anderson, Brian Bailey, Grant Martin, Thomas Anderson, Brian Bailey, Gran Martin... - Taxonomies for the Development And Verification of Digital Systems
Thomas Anderson, Brian Bailey, Grant Martin, Thomas Anderson, Brian Bailey, Gran Martin... Taxonomies for the Development And Verification of Digital Systems Inglese 01.01.2005 Copertina rigida Fr. 169.00 6-7 settimane
Cetin K. Koc, David Naccache, Davi Nacchae, David Nacchae, Christof Paar - Cryptographic Hardware and Embedded Systems - CHES 2001
Cetin K. Koc, David Naccache, Davi Nacchae, David Nacchae, Christof Paar Cryptographic Hardware and Embedded Systems - CHES 2001 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled - Computer Aided Verification
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled Computer Aided Verification Inglese 23.08.2005 Tascabile Fr. 135.00 6-7 settimane
Jorge Juan Chico, Enrico Macii - Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Jorge Juan Chico, Enrico Macii Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Ibrahi (Abe) M Elfadel, Ibrahim (Abe) M Elfadel, Ibrahim (Abe) M. Elfadel, Michail Maniatakos, Jose Monteiro, José Monteiro... - VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things
Ibrahi (Abe) M Elfadel, Ibrahim (Abe) M Elfadel, Ibrahim (Abe) M. Elfadel, Michail Maniatakos, Jose Monteiro, José Monteiro... VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things Inglese 01.01.2019 Copertina rigida Fr. 108.00 6-7 settimane
Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis - Embedded Processor Design Challenges
Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis Embedded Processor Design Challenges Inglese 13.03.2002 Tascabile Fr. 70.00 6-7 settimane
Felix Winterstein - Separation Logic for High-level Synthesis
Felix Winterstein Separation Logic for High-level Synthesis Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Mar Joye, Marc Joye, Quisquater, Quisquater, Jean-Jacques Quisquater, Jean-Jaques Quisquater - Cryptographic Hardware and Embedded Systems - CHES 2004
Mar Joye, Marc Joye, Quisquater, Quisquater, Jean-Jacques Quisquater, Jean-Jaques Quisquater Cryptographic Hardware and Embedded Systems - CHES 2004 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Rasi O Topaloglu, Rasit O Topaloglu, -S Philip Wong, -S Philip Wong, Rasit O Topaloglu, Rasit O. Topaloglu... - Beyond-CMOS Technologies for Next Generation Computer Design
Rasi O Topaloglu, Rasit O Topaloglu, -S Philip Wong, -S Philip Wong, Rasit O Topaloglu, Rasit O. Topaloglu... Beyond-CMOS Technologies for Next Generation Computer Design Inglese 01.01.2018 Copertina rigida Fr. 158.00 6-7 settimane
Nige P Smart, Nigel P Smart, Nigel P. Smart - Topics in Cryptology - CT-RSA 2018
Nige P Smart, Nigel P Smart, Nigel P. Smart Topics in Cryptology - CT-RSA 2018 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Brun Siciliano, Bruno Siciliano - Robotics Goes MOOC
Brun Siciliano, Bruno Siciliano Robotics Goes MOOC Inglese, Tedesco 01.01.2025 Tascabile Fr. 76.00 6-7 settimane
Marina L. Gavrilova, J Kenneth Tan, J Kenneth Tan, Marin L Gavrilova, Marina L Gavrilova, C. J. Kenneth Tan... - Transactions on Computational Science XXXIII
Marina L. Gavrilova, J Kenneth Tan, J Kenneth Tan, Marin L Gavrilova, Marina L Gavrilova, C. J. Kenneth Tan... Transactions on Computational Science XXXIII Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Inglese 04.04.2019 Tascabile Fr. 70.00 6-7 settimane
Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX
Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Inglese 06.12.2018 Tascabile Fr. 70.00 6-7 settimane
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Inglese 17.10.2017 Tascabile Fr. 70.00 6-7 settimane
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming Inglese 24.04.2019 Tascabile Fr. 77.00 6-7 settimane