International Conference on Applied Technologies
EAN: 9783031897597
Balancing Software Innovation and Regulatory Compliance
This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD...
EAN: 9783031892769
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering
EAN: 9783031859298
Integrated Formal Methods
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on...
EAN: 9783031765537
Conceptual Modeling
This book constitutes the proceedings of the 43rd International Conference on Conceptual...
EAN: 9783031758713
Technologies and Innovation
This book constitutes the refereed proceedings of the 10th International Conference on...
EAN: 9783031757013
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
