Harnessing VLSI System Design with EDA Tools

Embedded System Design Modeling, Synthesis and Verification

Ingredients for Successful System Level Design Methodology

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

Quantum Software Aspects of Theory and System Design

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

Interactive Modeling and Simulation in Business System Design

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

Electronics System Design Techniques for Safety Critical Applications

Processor Design System-on-Chip Computing for ASICs and FPGAs

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

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

System Level Design of Reconfigurable Systems-on-Chip

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Artificial Intelligence for Design and Process Science

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

Software Design for Resilient Computer Systems

Performance Engineering Learning Through Applications Using JMT

Understanding the Digital World Modeling with HERAKLIT

ITNG 2023 20th International Conference on Information Technology-New Generations

Beginning software engineering

Systems engineering of software-enabled systems

Self-Aware Computing Systems

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

Unraveling Software Maintenance and Evolution Thinking Outside the Box

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Transactions on Petri Nets and Other Models of Concurrency XII

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

Real-World Decision Support Systems Case Studies

System Architecture An Ordinary Engineering Discipline

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

Software Design for Resilient Computer Systems

Transactions on Petri Nets and Other Models of Concurrency XI

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

Distributed Simulation A Model Driven Engineering Approach

Computational Intelligence and Quantitative Software Engineering

Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change

Architectural Design Conception and Specification of Interactive Systems

Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard

The Privacy Engineer's Manifesto Getting from Policy to Code to QA to Value

Beginning RPG Maker VX Ace

Pro Python System Administration

Software engineering for image processing systems