Filter by
Fundamental Approaches to Software Engineering: 23rd International Conference…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45234-6
- Collation
- XIII, 552
- Series Title
- -
- Call Number
- -
High-Performance Modelling and Simulation for Big Data Applications: Selected…
This open access book was prepared as a Final Publication of the COST Action IC1406 “High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)“ project. Long considered important pillars of the scientific method, Modelling and Simulation have evolved from traditional discrete numerical methods to complex data-intensive continuous analytical optimisations. Resolution, sc…
- Edition
- 1
- ISBN/ISSN
- 9783030162726
- Collation
- XIV, 352
- Series Title
- -
- Call Number
- -
CyberParks – The Interface Between People, Places and Technology: New Appro…
This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in the urban space. As the main outco…
- Edition
- 1
- ISBN/ISSN
- 9783030134174
- Collation
- XV, 323
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 29th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specificatio…
- Edition
- 1
- ISBN/ISSN
- 9783030449148
- Collation
- XV, 772
- Series Title
- -
- Call Number
- -
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
- -
- ISBN/ISSN
- 978-3-319-89963-3
- Collation
- 1 online resource (474 Pages)
- Series Title
- -
- Call Number
- 005.1 bey T
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography