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
Perspectives on European Earthquake Engineering and Seismology: Volume 2
This book collects 4 keynote and 15 theme lectures presented at the 2nd European Conference on Earthquake Engineering and Seismology (2ECEES), held in Istanbul, Turkey, from August 24 to 29, 2014. The conference was organized by the Turkish Earthquake Foundation - Earthquake Engineering Committee and Prime Ministry, Disaster and Emergency Management Presidency under the auspices of the European…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16964-4
- Collation
- VIII, 455
- Series Title
- -
- Call Number
- 624
Perspectives on European Earthquake Engineering and Seismology : Volume 1
This book collects 5 keynote and 15 topic lectures presented at the 2nd European Conference on Earthquake Engineering and Seismology (2ECEES), held in Istanbul, Turkey, from August 24 to 29, 2014. The conference was organized by the Turkish Earthquake Foundation - Earthquake Engineering Committee and Prime Ministry, Disaster and Emergency Management Presidency under the auspices of the European…
- Edition
- -
- ISBN/ISSN
- 978-3-319-07118-3
- Collation
- VIII, 650 halaman
- Series Title
- Geotechnical, Geological and Earthquake Engineering
- Call Number
- 624 PER
Financing Clean Energy Access in Sub-Saharan Africa : Risk Mitigation Strateg…
This open access book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By considering various economic, financial, political, environmental and social factors, it explores the consequences of energy poverty across the region and maps the real and perceived investment risks for potential capital providers, both domestic and internationa…
- Edition
- -
- ISBN/ISSN
- 978-3-030-75829-5
- Collation
- XIII, 197
- Series Title
- SpringerBriefs in Energy (BRIEFSENERGY)
- Call Number
- 338 MIC f
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 Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography