Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031753862
Applied Computer Sciences in Engineering
The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on...
EAN: 9783031745942
Subject-Oriented Business Process Management. Models for Designing Digital Transformations
This book constitutes the refereed post proceedings of the 15th International Conference on...
EAN: 9783031720406
Digital Product Management in the Era of Data Economy, Artificial Intelligence, and Ecosystems
This book constitutes the proceedings of the First International Conference on Digital Product...
EAN: 9783031715143
Machine Learning Methods in Systems
This book requires an in-depth exploration of machine learning and its integration into system...
EAN: 9783031705946
Security and Privacy in Smart Environments
EAN: 9783031667077
Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government
EAN: 9783031866432
Edge Computing – EDGE 2024
The papers presented focus on various topics such as Edge Storage, Edge Connections, Edge...
EAN: 9783031770685
Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757822
Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757747
Applied Computer Sciences in Engineering
The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on...
EAN: 9783031745973
Runtime Verification
This book constitutes the refereed proceedings of the 24th International Conference on Runtime...
EAN: 9783031742330
Sustainable Development through Machine Learning, AI and IoT
This book constitutes the refereed proceedings of the Second International Conference on...
EAN: 9783031717284
Broadband Communications, Networks, and Systems
EAN: 9783031811708
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031737084
Perspectives in Business Informatics Research
This book constitutes the proceedings of the 23rd International Conference on Perspectives in...
EAN: 9783031713323
Quality of Information and Communications Technology
EAN: 9783031702440
Experimentation in Software Engineering
This textbook, which has become the leading source for empirical software engineering research...
EAN: 9783662693056
Reachability Problems
This book constitutes the proceedings of the 18th International Conference on Reachability...
EAN: 9783031726200
Formal Methods Teaching
This book constitutes the proceedings of the 6th International Workshop on Formal Methods...
EAN: 9783031713781
Formal Aspects of Component Software
This book constitutes the refereed proceedings of the 20th International Conference on Formal...
EAN: 9783031712609
Formal Methods
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th...
EAN: 9783031711763
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track
EAN: 9783031703805
