Filter by
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
- Edition
- 1
- ISBN/ISSN
- 978-3-031-65630-9
- Collation
- 1 online resource ( XXV, 430 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 GUR c
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
- Edition
- 1
- ISBN/ISSN
- 9783031656330
- Collation
- 1 online resource ( XXV, 582 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 GUR g
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
- Edition
- 1
- ISBN/ISSN
- 978-3-031-65627-9
- Collation
- 1 online resource ( XXXIII, 498 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 GUR g
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography