Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 26th Inter…
Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-26 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Total 60 makalah reguler yang disajikan dalam volume ini diti…
- Edition
- -
- ISBN/ISSN
- 978-3-030-45190-5
- Collation
- 1 online resource (XXIV, 501 Pages)
- Series Title
- -
- Call Number
- 005.1 BIE t
Supercomputing Frontiers; 5th Asian Conference, SCFA 2019, Singapore, March 1…
Buku akses terbuka ini merupakan prosiding wasit Konferensi Superkomputer Asia ke-5, SCFA 2019, yang diadakan di Singapura pada Maret 2019. 6 makalah lengkap yang disajikan dalam buku ini ditinjau dan dipilih dengan cermat dari 33 pengajuan. Mereka mencakup berbagai topik termasuk penanganan kesalahan memori, aljabar linier, pemrosesan gambar, komputasi heterogen, prediksi penggunaan sumber day…
- Edition
- -
- ISBN/ISSN
- 978-3-030-18645-6
- Collation
- 1 online resource (115 Pages)
- Series Title
- -
- Call Number
- 004.35 ABR s
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-17465-1
- Collation
- 1 online resource (426 Pages)
- Series Title
- -
- Call Number
- 004.21 VOJ t
Tools and Algorithms for the Construction and Analysis of Systems; 25 Years o…
Buku ini, LNC 11429, merupakan bagian III dari prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Ini adalah volume khusus pada peringatan 25 tahun TACAS.
- Edition
- -
- ISBN/ISSN
- 978-3-030-17502-3
- Collation
- 1 online resource (280 Pages)
- Series Title
- -
- Call Number
- 004.21 BEY t
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…
- Edition
- -
- ISBN/ISSN
- 978-3-030-17462-0
- Collation
- 1 online resource (447 Pages)
- Series Title
- -
- Call Number
- 004.21 VOJ t
Foundations of Software Science and Computation Structures; 22nd Internationa…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-22 tentang Dasar-dasar Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2019, yang berlangsung di Praha, Republik Ceko, pada April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019.29 makalah yang disajikan dalam volume ini ditinjau dan dipilih dengan c…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-17127-8
- Collation
- 1 online resource (556 Pages)
- Series Title
- -
- Call Number
- 004.2 BOJ f
High-Performance Modelling and Simulation for Big Data Applications; Selected…
Buku akses terbuka ini disiapkan sebagai Publikasi Akhir dari proyek "Pemodelan dan Simulasi Kinerja Tinggi untuk Aplikasi Data Besar (High-Performance Modelling and Simulation for Big Data Applications, cHiPSet)" COST Action IC1406. Lama dianggap sebagai pilar penting dari metode ilmiah, Pemodelan dan Simulasi telah berevolusi dari metode numerik diskrit tradisional menjadi pengoptimalan anali…
- Edition
- -
- ISBN/ISSN
- 978-3-030-16272-6
- Collation
- 1 online resource (364 Pages)
- Series Title
- -
- Call Number
- 004.65 KOL h
Principles of Security and Trust: 7th International Conference, POST 2018, He…
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-7 tentang Prinsip Keamanan dan Kepercayaan, POST 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Ke-13 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih da…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89722-6
- Collation
- XIV, 347
- Series Title
- -
- Call Number
- 005.8 BAU p
Foundations of Software Science and Computation Structures: 21st Internationa…
Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. 31 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipi…
- Edition
- 1
- ISBN/ISSN
- 9783319893662
- Collation
- XV, 583
- Series Title
- -
- Call Number
- 004.1 BAI f
Intelligent Human Computer Interaction : 9th International Conference, IHCI 2…
Buku ini merupakan hasil dari prosiding Konferensi Internasional ke-9 tentang Interaksi Manusia dan Komputer yang Cerdas, IHCI 2017, yang diadakan di Evry, Prancis, pada bulan Desember 2017. Ke-15 makalah yang dipresentasikan bersama dengan tiga makalah undangan ditinjau dan dipilih secara saksama dari 25 makalah yang diajukan. Konferensi ini merupakan forum untuk presentasi kemajuan teknologi …
- Edition
- -
- ISBN/ISSN
- 978-3-319-72038-8
- Collation
- XVIII, 216 halaman
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 HOR i
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography