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, 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
Digital Health Transformation, Smart Ageing, and Managing Disability: 20th In…
Buku akses terbuka ini merupakan hasil proses yang telah diseleksi dari Konferensi Internasional ke-20 tentang Transformasi Kesehatan Digital dan Penuaan Cerdas, Konferensi Internasional tentang Rumah Pintar dan Telematika Kesehatan (ICOST, International Conference on Smart Homes and Health Telematics) 2023, yang diadakan di Wonju, Korea Selatan, selama 7–8 Juli 2023. 18 makalah lengkap dan 1…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-43950-6
- Collation
- 1 online resource (XIV, 352 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 610.285 JON d
3D Research Challenges in Cultural Heritage III; Complexity and Quality in Di…
Buku akses terbuka ini menyajikan kumpulan makalah yang berfokus pada tantangan penelitian 3D terkini dalam ranah warisan budaya digital. Teknologi 3D banyak digunakan dalam bidang warisan budaya pada awal abad ke-21, misalnya dalam bidang akuisisi data, pemodelan, pengarsipan dalam repositori lokal, pengumpulan data dalam perpustakaan digital, dan pelestarian jangka panjangnya. Volume ini mene…
- Edition
- -
- ISBN/ISSN
- 978-3-031-35593-6
- Collation
- 1 online resource (XIII, 156 Pages)
- Series Title
- -
- Call Number
- 006.6 LOA 3 c.1
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-30823-9
- Collation
- 1 online resource (XXIII, 708 Pages)
- Series Title
- -
- Call Number
- 005.1 SAN t
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-30820-8
- Collation
- 1 online resource (XXIV, 604 Pages)
- Series Title
- -
- Call Number
- 005.1 SAN t
Algorithms for Big Data; DFG Priority Program 1736
Buku akses terbuka ini mensurvei kemajuan dalam mengatasi tantangan terpilih yang terkait dengan pertumbuhan big data yang dikombinasikan dengan perangkat keras yang semakin rumit. Buku ini muncul dari program penelitian yang dibentuk oleh Yayasan Penelitian Jerman (DFG) sebagai program prioritas SPP 1736 tentang Algoritma untuk Big Data, tempat para peneliti dari ilmu komputer teoritis bekerja…
- Edition
- -
- ISBN/ISSN
- 978-3-031-21534-6
- Collation
- 1 online resource (XIV, 285 Pages)
- Series Title
- -
- Call Number
- 005.7 BAS a
Supercomputing Frontiers; 7th Asian Conference, SCFA 2022, Singapore, March 1…
Buku akses terbuka ini merupakan hasil proses yang telah diseleksi dari Konferensi Superkomputer Asia ke-7, SCFA 2022, yang berlangsung di Singapura pada bulan Maret 2022. Kedelapan makalah lengkap yang disajikan dalam buku ini telah ditinjau dan dipilih secara saksama dari 21 kiriman. Makalah-makalah tersebut mencakup berbagai topik termasuk sistem berkas, hierarki memori, platform cloud HPC, …
- Edition
- -
- ISBN/ISSN
- 978-3-031-10419-0
- Collation
- 1 online resource (XIII, 141 Pages)
- Series Title
- -
- Call Number
- 004.1 PAN s
Haptics: Science, Technology, Applications; 13th International Conference on …
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-13 tentang Penginderaan Haptik Manusia dan Aplikasi Komputer Berbasis Sentuhan, EuroHaptics 2022, yang diadakan di Hamburg, Jerman, pada bulan Mei 2022. 36 makalah reguler yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 129 kiriman. Makalah-makalah tersebut disusun dalam beberapa bagian topik sebagai…
- Edition
- -
- ISBN/ISSN
- 978-3-031-06249-0
- Collation
- 13235
- Series Title
- -
- Call Number
- 004.6 SEI h
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography