Computer Arithmetic Algorithms and Hardware Implementations

Computer, network, software, and hardware engineering with applications

Computer Science The Hardware, Software and Heart of It

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

System and Architecture Proceedings of CSI 2015

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

Interrupt Handling Schemes in Operating Systems

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Design, Analysis and Test of Logic Circuits Under Uncertainty

Computernetze kompakt

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

Nanoelektronik Kleiner — schneller — besser

Embedded Multimedia Security Systems Algorithms and Architectures

Distributed Algorithms for Message-Passing Systems

Computernetze kompakt

Fault Analysis in Cryptography

Modeling Time in Computing

Performance Metrics for Haptic Interfaces

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

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

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

Nanoelektronik als künftige Schlüsseltechnologie der Informations- und Kommunikationstechnik in Deutschland

Organische Elektronik in Deutschland Bewertung und Empfehlungen Für Die Weiterentwicklung.

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

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings

Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers

Der Computer - Mein Lebenswerk

Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForum

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Towards Hardware-Intrinsic Security Foundations and Practice

Hardware Software Co-Design of a Multimedia SOC Platform

Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring

Artificial Life Models in Hardware

Les virus informatiques: théorie, pratique et applications

Technische Informatik Elektronik

Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings

Applications of Evolutionary Computing EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings

Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

Practical Aspects of Embedded System Design using Microcontrollers

Mikrocomputertechnik mit der 8051-Controller-Familie Hardware, Assembler, C

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings

Digitaltechnik — Eine praxisnahe Einführung

Taking Your iPhone to the Max

Taking Your iPod touch to the Max

Co-design for System Acceleration A Quantitative Approach

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Techniques virales avancées

Test und Verlässlichkeit von Rechnern

Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings

Applications of Evolutionary Computing EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings

Der Computer - Mein Lebenswerk

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

Hardware Verification with SystemVerilog An Object-Oriented Framework

Peer-to-Peer Computing Building Supercomputers with Web Technologies

Evolvable Hardware

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

Rechneraufbau und Rechnerarchitektur

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France

System-level Test and Validation of Hardware/Software Systems

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

Mikrorechner-Technik Übungen und Lösungen

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

Applications of Evolutionary Computing EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

System-Level Design Techniques for Energy-Efficient Embedded Systems

Introduction to Assembly Language Programming For Pentium and RISC Processors

The Complete IS-IS Routing Protocol

Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers