Filter by
Programming Languages and Systems; 28th European Symposium on Programming, ES…
Buku akses terbuka ini merupakan prosiding Simposium Eropa ke-28 tentang Pemrograman, ESOP 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.
- Edition
- -
- ISBN/ISSN
- 978-3-030-17184-1
- Collation
- 1 online resource (820 Pages)
- Series Title
- -
- Call Number
- 005.1 CAI b
Fundamental Approaches to Software Engineering ; 22nd International Conferenc…
Buku ini merupakan prosiding Konferensi Internasional ke-22 tentang Pendekatan Fundamental untuk Rekayasa Perangkat Lunak, FASE 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.24 makalah yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat dari 94 pengaj…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-16722-6
- Collation
- 1 online resource (448 Pages)
- Series Title
- -
- Call Number
- 005.12 HAH f
CyberParks – The Interface Between People, Places and Technology; New Appro…
Buku akses terbuka ini membahas tentang ruang terbuka publik, tentang manusia, dan tentang hubungan di antara mereka dan peran teknologi dalam hubungan ini. Ini tentang berbagai pendekatan, metode, studi empiris, dan kekhawatiran tentang fenomena yang semakin menjadi pusat ilmu pengetahuan dan strategi-penetrasi teknologi digital di ruang kota. Sebagai hasil utama dari Proyek CyberParks, buku i…
- Edition
- -
- ISBN/ISSN
- 978-3-030-13417-4
- Collation
- 1 online resource (331 Pages)
- Series Title
- -
- Call Number
- 006.8 COS c
Enhanced Living Environments; Algorithms, Architectures, Platforms, and Systems
Buku akses terbuka ini disiapkan sebagai Publikasi Akhir dari COST Action IC1303 "Algoritma, Arsitektur, dan Platform untuk Lingkungan Hidup yang Ditingkatkan (AAPELE)". Konsep Enhanced Living Environments (ELE) mengacu pada area Ambient Assisted Living (AAL) yang lebih terkait dengan Teknologi Informasi dan Komunikasi (TIK). Solusi ELE yang efektif memerlukan algoritme, arsitektur, platform, d…
- Edition
- -
- ISBN/ISSN
- 978-3-030-10752-9
- Collation
- 1 online resource (339 Pages)
- Series Title
- -
- Call Number
- 304.2 GAN e
Medical Imaging Systems; An Introductory Guide
Buku akses terbuka ini memberikan pengantar yang lengkap dan komprehensif tentang bidang sistem pencitraan medis, yang dirancang untuk berbagai aplikasi. Para penulis buku ini pertama-tama menjelaskan dasar-dasar teori sistem dan pemrosesan gambar, sebelum menyoroti beberapa modalitas dalam bab khusus. Fokus awalnya adalah pada modalitas yang terkait erat dengan sistem kamera tradisional sepert…
- Edition
- -
- ISBN/ISSN
- 978-3-319-96520-8
- Collation
- 1 online resource (263 Pages)
- Series Title
- -
- Call Number
- 616.0754 MAI m
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- -
- ISBN/ISSN
- 978-3-319-96142-2
- Collation
- 1 online resource (553 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
The Impact of Digital Technologies on Public Health in Developed and Developi…
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and…
- Edition
- 1
- ISBN/ISSN
- 9783030515171
- Collation
- XV, 442
- Series Title
- -
- Call Number
- -
Reversible Computation: Extending Horizons of Computing: Selected Results of …
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards…
- Edition
- 1
- ISBN/ISSN
- 9783030473617
- Collation
- XIV, 237
- Series Title
- -
- Call Number
- -
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-96145-3
- Collation
- 1 online resource (709 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
The Once-Only Principle: The TOOP Project
This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP). The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard…
- Edition
- 1
- ISBN/ISSN
- 9783030798512
- Collation
- X, 241
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography