A Practical Introduction to Hardware/Software Codesign

Composing Software Components A Software-testing Perspective

Computer- Aided Design in Power Engineering Application of Software Tools

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

Reconfigurable Computing From FPGAs to Hardware/Software Codesign

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Software Automatic Tuning From Concepts to State-of-the-Art Results

Hardware Software Co-Design of a Multimedia SOC Platform

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I

Advanced Gear Engineering

Building Information Modeling Technology Foundations and Industry Practice

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

Automated Configuration Problem Solving

Distributed, Embedded and Real-time Java Systems

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

Euclidean Shortest Paths Exact or Approximate Algorithms

Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers

Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA

SystemC: From the Ground Up

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Embedded System Design Modeling, Synthesis and Verification

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung

Design for Manufacturability and Yield for Nano-Scale CMOS

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

New Algorithms, Architectures and Applications for Reconfigurable Computing

Interconnect-Centric Design for Advanced SoC and NoC

Embedded Systems - qualitätsorientierte Entwicklung

Differential Evolution A Practical Approach to Global Optimization

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

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

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers