Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…
Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- 1 online resource (XXI, 465 Pages)
- Series Title
- -
- Call Number
- 005.1 GRO t
Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…
Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- 1 online resource (XXI, 471 Pages)
- Series Title
- -
- Call Number
- 005.1 GRO t
The Impact of Digital Technologies on Public Health in Developed and Developi…
Buku akses terbuka ini merupakan hasil proses yang telah direviu dari Konferensi Internasional ke-18 tentang Pemrosesan String dan Pengambilan Informasi, ICOST 2020, yang diadakan di Hammamet, Tunisia, pada bulan Juni 2020.* 17 makalah lengkap dan 23 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih secara saksama dari 49 kiriman. Makalah-makalah tersebut mencakup topik-topik …
- Edition
- -
- ISBN/ISSN
- 978-3-030-51517-1
- Collation
- 1 online resource (XVI, 442 Pages)
- Series Title
- -
- Call Number
- 004.1 JMA i
Supercomputing Frontiers; 6th Asian Conference, SCFA 2020, Singapore, Februar…
Buku akses terbuka ini merupakan hasil proses yang telah diseleksi dari Konferensi Superkomputer Asia ke-6, SCFA 2020, yang rencananya akan diselenggarakan pada bulan Februari 2020, tetapi sayangnya, konferensi fisik tersebut dibatalkan karena pandemi COVID-19. Delapan makalah lengkap yang disajikan dalam buku ini telah ditinjau dan dipilih dengan saksama dari 22 kiriman. Makalah-makalah terseb…
- Edition
- -
- ISBN/ISSN
- 978-3-030-48842-0
- Collation
- 1 online resource (X, 138 Pages)
- Series Title
- -
- Call Number
- 004.1 PAN s
Reversible Computation: Extending Horizons of Computing, Selected Results of …
Survei Mutakhir akses terbuka ini menyajikan hasil ilmiah utama terkini di bidang komputasi reversibel, dengan fokus pada hasil yang muncul selama COST Action IC1405 "Komputasi Reversibel - Memperluas Cakrawala Komputasi", jaringan penelitian Eropa yang beroperasi dari Mei 2015 hingga April 2019. Komputasi reversibel adalah paradigma baru yang memperluas mode komputasi maju-saja tradisional den…
- Edition
- -
- ISBN/ISSN
- 978-3-030-47361-7
- Collation
- 1 online resource (XIV, 237 Pages)
- Series Title
- -
- Call Number
- 004.35 ULI r
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-45237-7
- Collation
- 1 online resource (XXIV, 425 Pages)
- Series Title
- -
- Call Number
- 005.1 BIE t
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography