Onboard Computers, Onboard Software and Satellite Operations An Introduction

In-Memory Data Management Technology and Applications

Fault Analysis in Cryptography

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

SystemVerilog for Verification A Guide to Learning the Testbench Language Features

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Technische Informatik 3 Grundlagen der PC-Technologie

In-Memory Data Management An Inflection Point for Enterprise Applications

Einführung in die Halbleiter-Schaltungstechnik

Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers

Post-Silicon and Runtime Verification for Modern Processors

Übungsaufgaben zur Halbleiter-Schaltungstechnik