Developing Information Systems Accurately
This textbook shows how to develop the functional requirements of (information) systems.
EAN: 9783031168611
Introduction to Choreographies
This is the first rigorous and systematic treatment of choreographies, an increasingly central...
EAN: 9781108833769
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 20th International Conference on Formal...
EAN: 9783031158384
Smart and Sustainable Collaborative Networks 4.0
They provide a comprehensive overview of major challenges and recent advances in various domains...
EAN: 9783030859718
Service-Oriented Computing – ICSOC 2021 Workshops
• International Workshop on Artificial Intelligence for IT Operations (AIOps)•...
EAN: 9783031141348
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 29th European Conference on Systems,...
EAN: 9783031155581
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the...
EAN: 9783031151156
Embedded Computer Systems: Architectures, Modeling, and Simulation
This book constitutes the proceedings of the 22st International Conference on Embedded Computer...
EAN: 9783031150739
Collaborative Networks in Digitalization and Society 5.0
They provide a comprehensive overview of major challenges and recent advances in various domains...
EAN: 9783031148439
Intelligent Computing Theories and Application
This two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume...
EAN: 9783031138287
Privacy and Data Protection in Software Services
The aim of the book is to create a bridge between two ‘lands’ that are usually kept separate:...
EAN: 9789811630514
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 27th International Conference on Formal Methods for...
EAN: 9783031150074
Parallel Problem Solving from Nature – PPSN XVII
EAN: 9783031147203
Machine Learning and Knowledge Extraction
This book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG...
EAN: 9783031144622
Machines, Computations, and Universality
MCU explores computation in the setting of various discrete models (Turing machines, register...
EAN: 9783031135019
Design Thinking Research
Extensive research conducted by the Hasso Plattner Design Thinking Research Program at Stanford...
EAN: 9783030763268
Innovation Practices for Digital Transformation in the Global South
The 10 papers included present experiences and research on the topic of digital transformation...
EAN: 9783031128240
Euro-Par 2022: Parallel Processing
This book constitutes the proceedings of the 33rd International Conference on Parallel and...
EAN: 9783031125966
Rewriting Logic and Its Applications
This book constitutes selected papers from the refereed proceedings of the 14th International...
EAN: 9783031124402
Database and Expert Systems Applications
EAN: 9783031124228
Business Modeling and Software Design
This book constitutes the refereed proceedings of the 12h International Symposium on Business...
EAN: 9783031115097
