Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 24th Inter…
Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 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. Total 43 makalah lengkap dan 11 makalah p…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89960-2
- Collation
- 1 online resource (439 Pages)
- Series Title
- -
- Call Number
- 005.1 BEY t
Programming Languages and Systems: 30th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in thi…
- Edition
- 1
- ISBN/ISSN
- 9783030720193
- Collation
- XII, 693
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 27th European Symposium on Programming, ES…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-27 tentang Pemrograman, ESOP 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. 36 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 114 kiriman. Makalah-makalah t…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89884-1
- Collation
- XVI, 1058
- Series Title
- -
- Call Number
- 005.13 AHM p
Radiological Issues for Fukushima’s Revitalized Future
This book overviews environmental issues 4 years after the Fukushima nuclear accident, covering a wide range of areas related to radiation and radioactivity. The topics discussed are necessary to make clear the relationship between the results of research and Fukushima’s revitalized future. The chapters are divided into four parts: Part 1 presents the identification of radionuclides in soil a…
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55848-4
- Collation
- -
- Series Title
- -
- Call Number
- XIII, 232
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
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
mHealth Innovation in Asia
This open access book offers a detailed account of a range of mHealth initiatives across South, Southeast and East Asia. It provides readers with deep insights into the challenges such initiatives face on the ground, and a view of the diverse cultural contexts shaping strategies for overcoming these challenges. The book brings together various discussions on the broader mHealth literature, and …
- Edition
- 1
- ISBN/ISSN
- 978-94-024-1251-2
- Collation
- -
- Series Title
- Mobile Communication in Asia: Local Insights, Global Implications
- Call Number
- X, 131
Bats in the Anthropocene: Conservation of Bats in a Changing World
This book focuses on central themes related to the conservation of bats. It details their response to land-use change and management practices, intensified urbanization and roost disturbance and loss. Increasing interactions between humans and bats as a result of hunting, disease relationships, occupation of human dwellings, and conflict over fruit crops are explored in depth. Finally, contribu…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25220-9
- Collation
- -
- Series Title
- -
- Call Number
- IX, 606
Fundamental Approaches to Software Engineering: 21st International Conference…
Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 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. Sebanyak 19 makalah yang disajikan dalam volume ini telah ditinjau dengan…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89363-1
- Collation
- XII, 357
- Series Title
- -
- Call Number
- 005.1 RUS f
Earthquakes, Tsunamis and Nuclear Risks
This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase the safety of nuclear facilities against earthquakes and tsunamis in the face of the many uncertainties after the Fukushima accident. The topics are (1) Active faults and active tectonics important for seismic hazard assessment of nuclear facilities,(2) Seismic source …
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55822-4
- Collation
- -
- Series Title
- -
- Call Number
- XII, 177
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography