Filter by
Tools and Algorithms for the Construction and Analysis of Systems: 25th Inter…
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. T…
- Edition
- 1
- ISBN/ISSN
- 9783030174651
- Collation
- XXIII, 413
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 25th Inter…
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. T…
- Edition
- 1
- ISBN/ISSN
- 9783030174620
- Collation
- XXIII, 433
- Series Title
- -
- Call Number
- -
Non-Vitamin K Antagonist Oral Anticoagulants
This book is an essential guide to the medical treatment of thrombosis and presents core principles of anticoagulant therapeutics as well as drug recommendations. Written by recognized experts in the field, this concise, accessible handbook provides a unique and valuable resource in the cardiovascular field, both for those currently in training, and for those already in clinical or research pra…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25460-9
- Collation
- -
- Series Title
- -
- Call Number
- X, 50
Mixed-Criticality Industrial Wireless Networks
This open access book introduces how to manage important tasks in industrial wireless networks. Important tasks must be completed on time and with guaranteed quality; that is the consensus reached by system designers and users. However, for too long, important tasks have often been given unnecessary urgency, and people intuitively believe that important tasks should be executedfirst so th…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-8922-3
- Collation
- -
- Series Title
- Wireless Networks
- Call Number
- XI, 131
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
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
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
The Future Internet: Future Internet Assembly 2013: Validated Results and New…
Internet adalah infrastruktur ilmu pengetahuan, teknis, ekonomi, dan kemasyarakatan yang paling penting yang ada dan berfungsi saat ini 2,5 miliar pengguna. Melanjutkan pengembangannya akan menjamin banyak inovasi dan kemakmuran yang akan datang dan akan mendukung pertumbuhan berkelanjutan dalam nilai dan volume ekonomi yang dibutuhkan di masa depan. Oleh karena itu, penelitian infrastruktur In…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-38082-2
- Collation
- XLIV, 369
- Series Title
- -
- Call Number
- 004.678 GAL f
The Early Years
This book is open access under a CC BY-NC-ND 3.0 IGO license. The Early Years analyzes the development of Latin American and Caribbean children and makes a compelling case for government intervention in what is instinctively a family affair. Spending on effective programs for young children is an investment that, if done well, will have very high returns, while failure to implement such pro…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-53649-5
- Collation
- -
- Series Title
- -
- Call Number
- XXII, 262
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography