Filter by
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following to…
- Edition
- 1
- ISBN/ISSN
- 9783030255435
- Collation
- XX, 549
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 26th Inter…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- Edition
- 1
- ISBN/ISSN
- 9783030452377
- Collation
- XXIII, 425
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 23rd International Conference…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45234-6
- Collation
- XIII, 552
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 21st International Conference…
Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2018, yang berlangsung di Thessaloniki, Yunani pada bulan April 2018, yang diselenggarakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Sebanyak 19 makalah yang disajikan dalam volume ini telah ditinjau dengan…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89363-1
- Collation
- XII, 357
- Series Title
- -
- Call Number
- 005.1 RUS f
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 Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography