Prepare for the coming convergence of AI and quantum computingA collection of essays from 20 renowned, international authors working in industry, academia, and government, Convergence: Artificial Intelligence and Quantum Computing explains the impending convergence of artificial…
"145" Result
Sort By:
A fully updated self-study guide for the industry-standard information technology risk certification, CRISC. Written by information security risk experts, this complete self-study system is designed to help you prepare for-and pass-ISACA's CRISC certification exam. CRISC Certifi…
A fully updated self-study guide for the industry-standard information technology risk certification, CRISC. Written by information security risk experts, this complete self-study system is designed to help you prepare for―and pass―ISACA’s CRISC certification exam. CRISC Certif…
The book, "Intelligent Computing - Proceedings of the 2022 Computing Conference" is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2022…
The book, "Intelligent Computing - Proceedings of the 2022 Computing Conference", is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 202…
The book, "Intelligent Computing - Proceedings of the 2022 Computing Conference" is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2022…
This volume constitutes selected and revised papers of the 5th International Conference on Advanced Informatics for Computing Research, ICAICR 2021, held in Gurugram, India, in December 2021. The 17 revised full papers and 6 short papers presented were carefully reviewed and sel…
I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction So…
Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be automated with transformations for pairs of artifacts. We investigate how developers can combine independently developed and…
The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were care…
The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were care…
The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were care…