Filter by
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…
- Edition
- 1
- ISBN/ISSN
- 9783030532888
- Collation
- XVII, 669
- 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 to…
- Edition
- 1
- ISBN/ISSN
- 9783319899633
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years o…
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of 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. It's a special volu…
- Edition
- 1
- ISBN/ISSN
- 9783030175023
- Collation
- XXVII, 258
- 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
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
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
- -
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
Determinants of Financial Development
A PDF version of this book is available for free in open access via the OAPEN Library platform, www.oapen.org. This book examines the emergence of both financial markets and carbon markets, and provides an in-depth investigation on the fundamental determinants of financial development.
- Edition
- 1
- ISBN/ISSN
- 978-0-230-30249-5
- Collation
- -
- Series Title
- -
- Call Number
- XIX, 206
East Central Europe Between the Colonial and the Postcolonial in the Twentiet…
This open access book explores the ambiguity of East Central Europe during the twentieth century, examining local contexts through a comparative and transnational reworking of theoretical models in postcolonial studies. Since the early modern period, East Central Europe has arguably been an object of imperialism. However, at the same time East Central European states have been seen to be coloni…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17487-2
- Collation
- -
- Series Title
- Cambridge Imperial and Post-Colonial Studies
- Call Number
- XII, 265
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography