Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: subject="Uji Coba dan Pengukur...
cover
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Comment Share
GURFINKEL, ArieGANESH, Vijay

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
cover
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Comment Share
GURFINKEL, ArieGANESH, Vijay

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
cover
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
Comment Share
GURFINKEL, ArieGANESH, Vijay

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
cover
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
Comment Share
ENEA, ConstantinLAL, Akash

Prosiding akses terbuka Lecture Notes in Computer Science 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. Sebanyak 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dengan saksama dan dipilih dari 261 kiriman. Prosiding ini telah disusu…

Edition
1
ISBN/ISSN
978-3-031-37706-8
Collation
1 online resource (XXI, 488 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
005.14 ENE c