Filter by
Computer Aided Verification; 33rd International Conference, CAV 2021, Virtual…
Set dua volume akses terbuka LNCS 12759 dan 12760 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-33 tentang Verifikasi Berbantuan Komputer, CAV 2021, yang diselenggarakan secara virtual pada bulan Juli 2021. 63 makalah lengkap yang dipresentasikan bersama dengan 16 makalah alat dan 5 makalah undangan ditinjau dan dipilih secara saksama dari 290 kiriman. Makalah-makalah …
- Edition
- -
- ISBN/ISSN
- 978-3-030-81688-9
- Collation
- 1 online resource (XXIII, 940 Pages)
- Series Title
- -
- Call Number
- 005.14 SIL c
Computer Aided Verification; 33rd International Conference, CAV 2021, Virtual…
Set dua volume akses terbuka LNCS 12759 dan 12760 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-33 tentang Verifikasi Berbantuan Komputer, CAV 2021, yang diselenggarakan secara virtual pada bulan Juli 2021. 63 makalah lengkap yang dipresentasikan bersama dengan 16 makalah alat dan 5 makalah undangan ditinjau dan dipilih secara saksama dari 290 kiriman. Makalah-makalah …
- Edition
- -
- ISBN/ISSN
- 978-3-030-81685-8
- Collation
- 1 online resource (XXIV, 922 Pages)
- Series Title
- -
- Call Number
- 005.14 SIL c
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
- -
Foundations of Probabilistic Programming
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more.
- Edition
- -
- ISBN/ISSN
- 9781108770750
- Collation
- -
- Series Title
- -
- Call Number
- 519 BAR f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography