Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-17465-1
- Collation
- 1 online resource (426 Pages)
- Series Title
- -
- Call Number
- 004.21 VOJ t
Tools and Algorithms for the Construction and Analysis of Systems; 25 Years o…
Buku ini, LNC 11429, merupakan bagian III dari prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 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. Ini adalah volume khusus pada peringatan 25 tahun TACAS.
- Edition
- -
- ISBN/ISSN
- 978-3-030-17502-3
- Collation
- 1 online resource (280 Pages)
- Series Title
- -
- Call Number
- 004.21 BEY t
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…
- Edition
- -
- ISBN/ISSN
- 978-3-030-17462-0
- Collation
- 1 online resource (447 Pages)
- Series Title
- -
- Call Number
- 004.21 VOJ t
Foundations of Software Science and Computation Structures; 22nd Internationa…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-22 tentang Dasar-dasar Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 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.29 makalah yang disajikan dalam volume ini ditinjau dan dipilih dengan c…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-17127-8
- Collation
- 1 online resource (556 Pages)
- Series Title
- -
- Call Number
- 004.2 BOJ f
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
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
Integrated Groundwater Management
The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater management (IGM). Groundwater management is a formidable challenge, one that remains one of humanity’s foremost priorities. It has become a largely non-renewable resource that is overexploited in many parts of the world. In the 21st century, the issue moves from how to si…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23576-9
- Collation
- -
- Series Title
- -
- Call Number
- XIII, 762
Fungal Disease in Britain and the United States 1850-2000
This book is open access under a CC BY license. The narrative of 20th-century medicine is the conquering of acute infectious diseases and the rise in chronic, degenerative diseases. The history of fungal infections does not fit this picture. This book charts the path of fungal infections from the mid 19th century to the dawn of the 21st century.
- Edition
- 1
- ISBN/ISSN
- 978-1-137-37702-9
- Collation
- -
- Series Title
- Science, Technology and Medicine in Modern History
- Call Number
- XIII, 225
Enabling Asia to Stabilise the Climate
This book presents good practices in Asia and ASEAN countries for effectively promoting advances in response to climate change, which can help to achieve sustainable development in Asia and around the world. As a proposal, the aim is to influence the discussions at COP 21 by providing a positive agenda with concrete actions from an Asian perspective. The book is divided into three parts. Part 1…
- Edition
- 1
- ISBN/ISSN
- 978-981-287-826-7
- Collation
- -
- Series Title
- -
- Call Number
- X, 270
Taking Stock of Industrial Ecology
How can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high quality of life for everyone? What progress has been made towards reducing resource use and waste, and what are the prospects for more resilient, material-efficient economies? What are the environmental and social impacts of global supply chains and how can they be measured …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-20571-7
- Collation
- -
- Series Title
- XXI, 362
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography