Advances and New Trends in Environmental Informatics
A special focus is on how environmental informatics research covers the societal challenges of...
EAN: 9783031183102
Deployment and Operation of Complex Software in Heterogeneous Execution Environments
This open access book provides an overview of the work developed within the SODALITE project,...
EAN: 9783031049606
Critical Infrastructure Protection XIII
EAN: 9783030346461
New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies
This book constitutes the refereed proceedings of the 19th International TRIZ Future Conference...
EAN: 9783030324964
Convergence in Crossover Service
Convergence in crossover service explores the crossover phenomenon, crossover services and the...
EAN: 9789811988431
Meta Heuristic Techniques in Software Engineering and Its Applications
This book discusses an integration of machine learning with metaheuristic techniques that provide...
EAN: 9783031117121
Cyberspace Safety and Security
The two volumes LNCS 11982 and 11983 constitute the proceedings of the 11th International...
EAN: 9783030373368
Human Systems Engineering and Design
This book focuses on novel design and systems engineering approaches, including theories and best...
EAN: 9783030020521
Innovations in Information and Communication Technologies
This book gathers selected papers presented at the International Conference on Innovations in...
EAN: 9789811937958
Membrane Computing Models: Implementations
The theoretical basis of membrane computing was established in the early 2000s with fundamental...
EAN: 9789811615689
Project Management
This volume discusses strategic and operational issues in executing projects. It provides both...
EAN: 9789811536946
Model Checking Software
This book constitutes the refereed proceedings of the 29th International Symposium on Model...
EAN: 9783031321566
Software Quality: Higher Software Quality through Zero Waste Development
This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD...
EAN: 9783031314872
Requirements Engineering: Foundation for Software Quality
EAN: 9783031297854
Active Inference
This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI...
EAN: 9783031287183
Formal Methods
This book constitutes the refereed proceedings of the 25th International Symposium on Formal...
EAN: 9783031274800
Service-Oriented Computing – ICSOC 2022 Workshops
EAN: 9783031265068
Software Engineering and Formal Methods
The papers cover a large variety of topics, including testing, formal verification, program...
EAN: 9783030304454
Introduction to Dependent Types with Idris
EAN: 9781484292587
Business Manager's Guide to Software Projects
EAN: 9781484292303
Formal Methods Teaching
This book constitutes the proceedings of the 5th International Workshop on Formal Methods...
EAN: 9783031275333
Advances in Theory and Practice of Computational Mechanics
This book is a collection of peer-reviewed best selected research papers presented at 22nd...
EAN: 9789811689284
Diabetic Foot Ulcers Grand Challenge
This book constitutes the Third Diabetic Foot Ulcers Grand Challenge, DFUC 2022, which was held...
EAN: 9783031263538
