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
Real World OCaml: Functional Programming for the Masses
Tutorial yang bergerak cepat ini memperkenalkan Anda pada OCaml, sebuah pemrograman kekuatan industri bahasa yang dirancang untuk ekspresi, keamanan, dan kecepatan. Melalui buku banyak contoh, Anda akan segera mempelajari bagaimana OCaml menonjol sebagai alat untuk menulis dengan cepat, kode sistem yang ringkas dan mudah dibaca menggunakan pemrograman fungsional.
- Edition
- 2
- ISBN/ISSN
- 9781009129220
- Collation
- -
- Series Title
- -
- Call Number
- T 005.107 MAD r
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography