Software Technology: Methods and Tools

51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Software Architecture

13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

From Reactive Systems to Cyber-Physical Systems

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Transactions on Computational Science XXXIV

Linux Observability with BPF

Advanced Programming for Performance Analysis and Networking

Embedded Computer Systems: Architectures, Modeling, and Simulation

19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

Automated Deduction – CADE 27

27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Transition Engineering

Building a Sustainable Future

Model-Based Safety and Assessment

6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Flexible Query Answering Systems

13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Adaptive, Dynamic, and Resilient Systems

Advanced Parallel Processing Technologies

13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Queueing Theory and Network Applications

14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Real-Time Embedded Systems

Optimization, Synthesis, and Networking

Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Model Checking Software

26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Big Data Innovations and Applications

5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Resilient Space Systems Design

An Introduction

Systems Architecting

Methods and Examples

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Seven Steps to Mastering Business Analysis

The Essentials

Systems Architecting

Methods and Examples

Models, Languages, and Tools for Concurrent and Distributed Programming

Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Designing Network On-Chip Architectures in the Nanoscale Era

Reliability Engineering

Methods and Applications

Transition Engineering

Building a Sustainable Future

Big Data Analytics and Knowledge Discovery

21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Systems Engineering

A Systemic and Systematic Methodology for Solving Complex Problems

Methods of Mathematical Modelling

Fractional Differential Equations

IT Support Handbook

A How-To Guide to Providing Effective Help and Support to IT Users

Reachability Problems

13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Classical Feedback Control with Nonlinear Multi-Loop Systems

With MATLAB® and Simulink®, Third Edition

Systemic and Systematic Project Management

Cyber Physical Systems. Design, Modeling, and Evaluation

7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Architecture of Computing Systems – ARCS 2019

32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Reversible Computation

11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Principles of Security and Trust

8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mastering Business Analysis Versatility

Seven Steps to Developing Advanced Competencies and Capabilities

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Human Centered Computing

4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers

Emerging Frontiers in Industrial and Systems Engineering

Success Through Collaboration

Fuzzy Logic and Applications

12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

Data Governance

Perspectives and Practices

Embedded Systems, Cyber-physical Systems, and Applications

Passive and Active Measurement

20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedings

Systems Reliability and Usability for Engineers

Systems Engineering Models

Theory, Methods, and Applications

High-Performance Modelling and Simulation for Big Data Applications

Selected Results of the COST Action IC1406 cHiPSet

Information and Operational Technology Security Systems

First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers

Applied Reconfigurable Computing

15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence

10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers

Soft Computing Techniques for Engineering Optimization

Thinking

A Guide to Systems Engineering Problem-Solving

Thinking

A Guide to Systems Engineering Problem-Solving

Microservices in Action

Modern Systems Analysis and Design

Embedded Systems, Cyber-physical Systems, and Applications

Patterns for API Design

Simplifying Integration with Loosely Coupled Message Exchanges

Success is Assured

Satisfy Your Customers On Time and On Budget by Optimizing Decisions Collaboratively Using Reusable Visual Models

How to Design Programs, second edition

Computational Intelligence Assisted Design

In Industrial Revolution 4.0

Computational Intelligence Assisted Design

In Industrial Revolution 4.0

Software and Systems Architecture in Action

Refactoring

Improving the Design of Existing Code

Refactoring

Improving the Design of Existing Code

Information Systems Management