Filter by
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
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 2…
Ini merupakan hasil dari Konferensi Superkomputer Asia ke-4, SCFA 2018, yang diadakan di Singapura pada bulan Maret 2018. Supercomputing Frontiers akan berganti nama menjadi Supercomputing Frontiers Asia (SCFA), yang berfungsi sebagai program teknis untuk SCA18. Program teknis untuk SCA18 terdiri dari empat jalur: • Aplikasi, Algoritma & Pustaka • Pemrograman Perangkat Lunak Sistem • Arsi…
- Edition
- 1
- ISBN/ISSN
- 9783319699530
- Collation
- X, 293
- Series Title
- -
- Call Number
- 004.11 YOK s
Security of Networks and Services in an All-Connected World: 11th IFIP WG 6.6…
Buku ini merupakan hasil dari proses yang diseleksi dari Konferensi Internasional ke-11 IFIP WG 6.6 tentang Infrastruktur Otonom, Manajemen, dan Keamanan, AIMS 2017, yang diadakan di Zurich, Swiss, pada bulan Juli 2017. 8 makalah lengkap yang disajikan bersama dengan 11 makalah pendek ditinjau dan dipilih secara saksama dari 24 kiriman. Makalah-makalah tersebut disusun dalam bagian topik beriku…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-60774-0
- Collation
- XX, 192
- Series Title
- -
- Call Number
- 005.8 TUN s
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Ita…
Buku ini merupakan hasil dari Lokakarya Internasional ke-5 tentang Interaksi Simbiotik, Simbiotik 2016, yang diadakan di Padua, Italia, pada bulan Oktober 2016. 12 makalah lengkap dan 3 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih secara saksama dari 23 kiriman. Gagasan sistem simbiosis yang diajukan dalam lokakarya ini memanfaatkan kemampuan komputer untuk secara implisi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-57753-1
- Collation
- XIV, 182
- Series Title
- -
- Call Number
- 004.6
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography