Filter by
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57249-4
- Collation
- 1 online resource (XXI, 386 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 FIN t
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57256-2
- Collation
- 1 online resource (XXII, 428 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 FIN t
Foundations of Software Science and Computation Structures: 27th Internationa…
Dua volume akses terbuka LNCS 14574 dan 14575 merupakan prosiding Konferensi Internasional ke-27 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2024, yang berlangsung di Luksemburg pada bulan April 2024. 24 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 79 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut:…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57228-9
- Collation
- 1 online resource (XVI, 280 Pages)
- Series Title
- -
- Call Number
- 005.1 KOB f
Programming Languages and Systems: 33rd European Symposium on Programming, ES…
Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57267-8
- Collation
- 1 online resource (XXI, 386 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 WEI p
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, Alat dan Algoritma untuk Konstruksi dan Analisis Sistem (TACAS, Tools and Algorithms for the Construction and Analysis of Systems) bagian dari ETAPS dan seri LNCS (Lecture Notes in Computer Science) - 2024, yang diadakan sebagai bag…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57246-3
- Collation
- 1 online resource (XXVIII, 394 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 FIN t
Programming Languages and Systems: 33rd European Symposium on Programming, ES…
Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57262-3
- Collation
- 1 online resource (XVI, 340 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 WEI p
Foundations of Software Science and Computation Structures: 27th Internationa…
Buku ini merupakan hasil dari Konferensi Internasional ke-16 tentang Informatika di Sekolah: Situasi, Evolusi, dan Perspektif, ISSEP 2023, yang diadakan di Lausanne, Swiss, selama 23–25 Oktober 2023. Ke-14 makalah lengkap yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 47 kiriman. Makalah-makalah tersebut disusun dalam empat bagian topik yang diberi nama: kecerdasan bua…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57231-9
- Collation
- 1 online resource (XVI, 272 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 KOB i
Programming Languages and Systems; 32nd European Symposium on Programming, ES…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-32 tentang Pemrograman, ESOP 2023, yang diselenggarakan pada tanggal 22-27 April 2023 di Paris, Prancis, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023. 20 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 55 kiriman. Makalah-makalah tersebut …
- Edition
- -
- ISBN/ISSN
- 978-3-031-30044-8
- Collation
- 1 online resource (XII, 566 Pages)
- Series Title
- -
- Call Number
- 005.13 WIE p
Programming Languages and Systems; 31st European Symposium on Programming, ES…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-31 tentang Pemrograman, ESOP 2022, yang diadakan selama 5-7 April 2022 di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 21 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 64 kiriman. Makalah-makalah tersebut membahas isu-is…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99336-8
- Collation
- 1 online resource (XIV, 604 Pages)
- Series Title
- -
- Call Number
- 005.13 SER p
Programming Languages and Systems; 30th European Symposium on Programming, ES…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-30 tentang Pemrograman, ESOP 2021, yang diadakan selama 27 Maret hingga 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan diadakan di Luksemburg dan diubah menjadi format daring karena pandemi COVID-19. 24 makalah yang disertakan d…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72019-3
- Collation
- 1 online resource (XXI, 693 Pages)
- Series Title
- -
- Call Number
- 005.13 YOS p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography