VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

Software Engineering 2 Specification of Systems and Languages

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Theory of Digital Automata

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

Principles and Structures of FPGAs

Introduzione al Progetto di Sistemi Digitali

Reliable and Energy Efficient Streaming Multiprocessor Systems

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

Design of FPGA-Based Computing Systems with OpenCL

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Design, Analysis and Test of Logic Circuits Under Uncertainty

Logic Circuit Design Selected Methods

Adiabatic Logic Future Trend and System Level Perspective

Entwurf integrierter 3D-Systeme der Elektronik

The Unknown Component Problem Theory and Applications

Compact Models and Measurement Techniques for High-Speed Interconnects

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits

Technische Informatik Band 2: Entwurf digitaler Schaltungen

VLSI Physical Design: From Graph Partitioning to Timing Closure

Speech Processing in Embedded Systems

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Logic Functions and Equations Examples and Exercises

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

More than Moore Creating High Value Micro/Nanoelectronics Systems

Electronics System Design Techniques for Safety Critical Applications

Logic Synthesis for FSM-Based Control Units

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Logic Synthesis for Compositional Microprogram Control Units

Practical Problems in VLSI Physical Design Automation

High-Level Synthesis From Algorithm to Digital Circuit

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

A Roadmap for Formal Property Verification

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Taxonomies for the Development and Verification of Digital Systems