Filter by
Programming Languages and Systems: 29th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specificatio…
- Edition
- 1
- ISBN/ISSN
- 9783030449148
- Collation
- XV, 772
- 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
- 1
- ISBN/ISSN
- 9783030720193
- Collation
- XII, 693
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 27th European Symposium on Programming, ES…
Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-27 tentang Pemrograman, ESOP 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. 36 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 114 kiriman. Makalah-makalah t…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89884-1
- Collation
- XVI, 1058
- Series Title
- -
- Call Number
- 005.13 AHM p
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 du…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; S…
- Edition
- 1
- ISBN/ISSN
- 9783031634987
- Collation
- XVI, 482
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 32nd European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues …
- Edition
- 1
- ISBN/ISSN
- 9783031300448
- Collation
- XII, 566
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 31st European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99336-8
- Collation
- XIV, 604
- Series Title
- -
- Call Number
- -
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Top…
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically int…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22750-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Complexity in second language study emotions: emergent sensemaking in social …
The emotionality of additional language learning -- From simplicity to complexity: recent explorations of L2 study emotions -- Interactions between the whole and parts in the emergence of L2 study feelings -- Focusing a small lens on experiential and discursive
- Edition
- -
- ISBN/ISSN
- 9781003306955
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography