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
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 17th International Conference on Logic...
EAN: 9783031742088
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning
This book constitutes the proceedings of the 17th International Conference on Informatics in...
EAN: 9783031734731
Sustainable Development through Machine Learning, AI and IoT
This book constitutes the refereed proceedings of the Second International Conference on...
EAN: 9783031717284
Data Science and Network Engineering
This book includes research papers presented at the International Conference on Data Science and...
EAN: 9789819783359
Algorithmic Aspects in Information and Management
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th...
EAN: 9789819778003
Algorithmic Aspects in Information and Management
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th...
EAN: 9789819777976
Representations of Lie Algebras and Partial Differential Equations
This book provides explicit representations of finite-dimensional simple Lie algebras, related...
EAN: 9789811348693
Broadband Communications, Networks, and Systems
EAN: 9783031811708
Enterprise Design, Operations, and Computing
This book constitutes the refereed proceedings of the 28th International Conference on Enterprise...
EAN: 9783031783371
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
Advancing OpenMP for Future Accelerators
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP:...
EAN: 9783031725661
Innovative Technologies in Intelligent Systems and Industrial Applications
This book presents the proceedings of the 8th International Conference on Innovative Technologies...
EAN: 9783031717727
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
Engage, Excel, and Elevate with Microsoft Viva Engage
EAN: 9798868807657