Filter by
Reversible Computation: Extending Horizons of Computing: Selected Results of …
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards…
- Edition
- 1
- ISBN/ISSN
- 9783030473617
- Collation
- XIV, 237
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
he 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 topi…
- Edition
- 1
- ISBN/ISSN
- 9783030532918
- Collation
- XVIII, 683
- Series Title
- -
- Call Number
- -
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography