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…

Computer Aided Verification; 30th International Conference, CAV 2018, Held as…

Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…

Graph Structures for Knowledge Representation and Reasoning: 6th Internationa…

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected…

The Once-Only Principle: The TOOP Project

This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP). The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard…

Automated Deduction – CADE 28: 28th International Conference on Automated D…

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, includin…

Autonomous Control for a Reliable Internet of Services; Methods, Models, Appr…

Buku akses terbuka ini disiapkan sebagai Publikasi Akhir dari COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. Buku ini berisi 14 bab dan merupakan contoh hasil utama dari Action tersebut yang sejalan dengan tujuan ilmiahnya. Buku ini akan menjadi referensi berharga bagi mahasiswa sarjana dan pascasarjana, pendidik, anggota fakultas, peneliti, insinyur, …

Smart and Sustainable Planning for Cities and Regions : Results of SSPCR 2022

Edition

-

ISBN/ISSN

978-3-031-39206-1

Collation

XVIII, 139

Series Title

-

Call Number

-

Fundamental Approaches to Software Engineering: 24th International Conference…

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…

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…

Advances in Intelligent Data Analysis XVIII: 18th International Symposium on …

This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas ove…