Filter by
Cybersecurity of Digital Service Chains; Challenges, Methodologies, and Tools
Buku akses terbuka ini menyajikan hasil ilmiah utama dari proyek H2020 GUARD. Proyek GUARD bertujuan untuk mengisi kesenjangan teknologi saat ini antara paradigma manajemen perangkat lunak dan model keamanan siber, yang terakhir masih kurang orkestrasi dan ketangkasan untuk secara efektif mengatasi dinamika yang pertama. Buku ini memberikan tinjauan komprehensif tentang konsep utama, arsitektur…
- Edition
- -
- ISBN/ISSN
- 978-3-031-04036-8
- Collation
- 1 online resource (IX, 257 Pages)
- Series Title
- -
- Call Number
- 005.8 KOL c
Tools and Algorithms for the Construction and Analysis of Systems; Theory and…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-28 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2022, yang diadakan selama 2-7 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 46 makalah lengkap dan 4 makalah pendek yang disajikan dalam volume ini ditinjau dan dipi…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- 1 online resource (XXI, 493 Pages)
- Series Title
- -
- Call Number
- 005.1 FIS t
Tools and Algorithms for the Construction and Analysis of Systems; 28th Inter…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-28 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2022, yang diadakan selama 2-7 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 46 makalah lengkap dan 4 makalah pendek yang disajikan dalam volume ini ditinjau dan dipi…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99524-9
- Collation
- 1 online resource (XXII, 583 Pages)
- Series Title
- -
- Call Number
- 005.1 KOM t
Brain-Inspired Computing; 4th International Workshop, BrainComp 2019, Cetraro…
Buku akses terbuka ini merupakan makalah terpilih yang telah direvisi dari Lokakarya Internasional ke-4 tentang Komputasi yang Terinspirasi oleh Otak, BrainComp 2019, yang diadakan di Cetraro, Italia, pada bulan Juli 2019. Sebelas makalah yang disajikan dalam volume ini telah ditinjau dan dipilih dengan saksama untuk dimasukkan dalam buku ini. Makalah-makalah tersebut membahas penelitian tentan…
- Edition
- -
- ISBN/ISSN
- 978-3-030-82427-3
- Collation
- 1 online resource (VIII, 158 Pages)
- Series Title
- -
- Call Number
- 004.1 AMU b
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography