Filter by
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
Autonomous Control for a Reliable Internet of Services: Methods, Models, Appr…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
- Edition
- 1
- ISBN/ISSN
- 9783319904153
- Collation
- XVI, 401
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XIX, 703
- Series Title
- -
- Call Number
- -
New Frontiers in Social Innovation Research
This book is open access under a CC BY license. Interest in social innovation continues to rise, from governments setting up social innovation 'labs' to large corporations developing social innovation strategies. Yet theory lags behind practice, and this hampers our ability to understand social innovation and make the most of its potential. This collection brings together work by leading social…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-50680-1
- Collation
- -
- Series Title
- -
- Call Number
- XXIX, 267
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and …
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XX, 545
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 24th Inter…
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The tot…
- Edition
- 1
- ISBN/ISSN
- 9783319899602
- Collation
- XX, 429
- Series Title
- -
- Call Number
- -
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
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Som…
Sistem-Sistem Teknis (Systems-of-Systems, SoS) – dalam bentuk sistem komputasi konstituen independen yang terhubung dan bekerja sama untuk sementara waktu guna mencapai tujuan yang ditetapkan dengan baik – membentuk tulang punggung sebagian besar infrastruktur saat ini. Jaringan energi, sebagian besar sistem transportasi, industri perbankan global, sistem pasokan air, peralatan militer, ban…
- Edition
- -
- ISBN/ISSN
- 9783319475905
- Collation
- 1 online resource (270 Pages)
- Series Title
- -
- Call Number
- 004,678 BON c
Linked Open Data -- Creating Knowledge Out of Interlinked Data: Results of th…
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information a…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-09846-3
- Collation
- VII, 215
- Series Title
- -
- Call Number
- 006.76 AUE l
Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems
This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate IC…
- Edition
- 1
- ISBN/ISSN
- 9783030107529
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography