Filter by
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, …
- Edition
- -
- ISBN/ISSN
- 978-3-319-90415-3
- Collation
- 1 online resource (416 Pages)
- Series Title
- -
- Call Number
- 004.678 GAN a
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-…
- Edition
- 1
- ISBN/ISSN
- 9783030715007
- Collation
- XIV, 373
- Series Title
- -
- Call Number
- -
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
- -
- ISBN/ISSN
- 978-3-030-72019-3
- Collation
- -
- Series Title
- -
- Call Number
- -
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…
- Edition
- 1
- ISBN/ISSN
- 9783030445843
- Collation
- XIV, 588
- Series Title
- -
- Call Number
- -
Semantic Systems. The Power of AI and Knowledge Graphs: 15th International Co…
This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019. The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep lear…
- Edition
- 1
- ISBN/ISSN
- 9783030332204
- Collation
- XVII, 392
- Series Title
- -
- Call Number
- -
Semantic Systems. In the Era of Knowledge Graphs: 16th International Conferen…
This open access book constitutes the refereed proceedings of the 16th International Conference on Semantic Systems, SEMANTiCS 2020, held in Amsterdam, The Netherlands, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
- Edition
- 1
- ISBN/ISSN
- 9783030598334
- Collation
- XIII, 127
- Series Title
- -
- Call Number
- -
How AI Impacts Urban Living and Public Health: 17th International Conference,…
This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being tech…
- Edition
- 1
- ISBN/ISSN
- 9783030327859
- Collation
- XIII, 224
- 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
- -
Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following top…
- Edition
- 1
- ISBN/ISSN
- 9783030255404
- Collation
- XIX, 673
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography