Filter by
Computer Aided Verification; 35th International Conference, CAV 2023, Paris, …
Prosiding akses terbuka LNCS 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dan dipilih secara saksama dari 261 kiriman. Makalah-makalah tersebut telah disusun dalam beberapa bagian top…
- Edition
- -
- ISBN/ISSN
- 978-3-031-37709-9
- Collation
- 1 online resource (XVII, 502 Pages)
- Series Title
- -
- Call Number
- 005.14 ENE c
Computer Aided Verification; 35th International Conference, CAV 2023, Paris, …
Prosiding akses terbuka LNCS 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dan dipilih secara saksama dari 261 kiriman. Makalah-makalah tersebut telah disusun dalam beberapa bagian top…
- Edition
- -
- ISBN/ISSN
- 978-3-031-37703-7
- Collation
- 1 online resource (XVI, 460 Pages)
- Series Title
- -
- Call Number
- 005.14 ENE c
Computer Aided Verification; 34th International Conference, CAV 2022, Haifa, …
Set dua volume akses terbuka LNCS 13371 dan 13372 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-34 tentang Verifikasi Berbantuan Komputer, CAV 2022, yang diadakan di Haifa, Israel, pada bulan Agustus 2022. 40 makalah lengkap yang disajikan bersama dengan 9 makalah alat dan 2 studi kasus ditinjau dengan saksama dan dipilih dari 209 kiriman. Makalah-makalah tersebut disu…
- Edition
- -
- ISBN/ISSN
- 978-3-031-13185-1
- Collation
- 1 online resource (XIX, 555 Pages)
- Series Title
- -
- Call Number
- 005.14 SHO c
Computer Aided Verification; 34th International Conference, CAV 2022, Haifa, …
Set dua volume akses terbuka LNCS 13371 dan 13372 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-34 tentang Verifikasi Berbantuan Komputer, CAV 2022, yang diadakan di Haifa, Israel, pada bulan Agustus 2022. 40 makalah lengkap yang disajikan bersama dengan 9 makalah alat dan 2 studi kasus ditinjau dengan saksama dan dipilih dari 209 kiriman. Makalah-makalah tersebut disu…
- Edition
- -
- ISBN/ISSN
- 978-3-031-13188-2
- Collation
- 1 online resource (XIx, 549 Pages)
- Series Title
- -
- Call Number
- 005.14 SHO 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-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; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- 978-3-030-53288-8
- Collation
- 1 online resource (XVII, 669 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (XVIII, 683 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography