Lean, Green and Sustainability
This book constitutes the refereed proceedings of the 8th European Lean Educator Conference ELEC...
EAN: 9783031257407
Computer Aided Systems Theory – EUROCAST 2022
EAN: 9783031253119
Knowledge-Based Software Engineering: 2022
This book contains extended versions of the works and new research results presented at the 14th...
EAN: 9783031175824
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
EAN: 9783031262357
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production
This book constitutes the refereed proceedings of the 12th International Conference on...
EAN: 9783031237430
Advancements in Interdisciplinary Research
This volume constitutes selected and revised papers presented at the First International...
EAN: 9783031237232
Design Thinking for Software Engineering
Despite the popularity of design thinking in research and practice, this area is still too often...
EAN: 9783030905965
Verified Software. Theories, Tools and Experiments.
The papers describe software verification efforts that involve collaboration, theory unification,...
EAN: 9783031258022
Applied Technologies
This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of the 4th...
EAN: 9783031249709
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
EAN: 9783030923198
Requirements Engineering: Laying a Firm Foundation
This textbook lays the foundations for System-of-Systems Requirements Engineering and...
EAN: 9783030910792
Machine Learning and Data Mining for Sports Analytics
This book constitutes the refereed proceedings of the 9th International Workshop on Machine...
EAN: 9783031275265
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops
EAN: 9783031268854
Blockchain – ICBC 2022
This book constitutes the proceedings of the 5th International Conference on Blockchain, ICBC...
EAN: 9783031234941
Advances in Service-Oriented and Cloud Computing
EAN: 9783031232978
Optimization, Learning Algorithms and Applications
This book constitutes the proceedings of the Second International Conference on Optimization,...
EAN: 9783031232350
Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation
This book constitures selected and revised papers presented at the First International Workshop...
EAN: 9783031222276
Evolution of Pervasive Information Systems
The purpose of this book is to combine “state-of-the-art” solutions from various research...
EAN: 9783031181757
Model-Driven Development of Akoma Ntoso Application Profiles
This book presents a model-driven approach for creating a national application profile of the...
EAN: 9783031141317
