Filter by
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:…
- Edition
- 1st Edition
- ISBN/ISSN
- 9783030816889
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical section…
- Edition
- 1
- ISBN/ISSN
- 9783030816858
- Collation
- XXIV, 922
- Series Title
- -
- Call Number
- -
Ethics of Artificial Intelligence
This open access collection of AI ethics case studies is the first book to present real-life case studies combined with commentaries and strategies for overcoming ethical challenges. Case studies are one of the best ways to learn about ethical dilemmas and to achieve insights into various complexities and stakeholder perspectives. Given the omnipresence of AI ethics in academic, policy and medi…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17040-9
- Collation
- -
- Series Title
- SpringerBriefs in Research and Innovation Governance
- Call Number
- XII, 116
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial pape…
- Edition
- 1
- ISBN/ISSN
- 9783031711626
- Collation
- XXII, 680
- Series Title
- -
- Call Number
- -
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers…
- Edition
- 1
- ISBN/ISSN
- 9783031711770
- Collation
- XXII, 652
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
- Edition
- 1
- ISBN/ISSN
- 9783031656309
- Collation
- XXV, 430
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
- Edition
- 1
- ISBN/ISSN
- 9783031656330
- Collation
- XXV, 582
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
- Edition
- 1
- ISBN/ISSN
- 9783031656279
- Collation
- XXXIII, 498
- Series Title
- -
- Call Number
- -
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the f…
- Edition
- 1
- ISBN/ISSN
- 9783031635014
- Collation
- XV, 424
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 27th International Conference…
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 202…
- Edition
- 1
- ISBN/ISSN
- 9783031572593
- Collation
- XIV, 332
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography