Filter by
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
- -
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
- -
Argumentationsstrategien chinesischer Deutschlerner/-innen
Dieses Open-Access Buch versucht, die Frage warum sich L1- und L2-Texte meistens leicht voneinander unterscheiden lassen, selbst wenn keine sprachlichen Fehler vorhanden sind, am Beispiel von chinesischen fortgeschrittenen Deutschlerner/-innen und deutschen L1-Sprecher/-innen zu beantworten. Basierend auf 40 argumentativen Korpustexten fokussiert sich die Studie auf drei Fragen: a) Wie untersch…
- Edition
- -
- ISBN/ISSN
- 978-3-662-68453-5
- Collation
- XVIII, 290
- Series Title
- -
- Call Number
- -
Disclosing the world :on the phenomenology of language
A phenomenological conception of language, drawing on Heidegger, Merleau-Ponty, and Wittgenstein, with implications for both the philosophy of language and current cognitive science.In this book, Andrew Inkpin considers the disclosive function of language--what language does in revealing or disclosing the world. His approach to this question is a phenomenological one, centering on the need to a…
- Edition
- -
- ISBN/ISSN
- 9780262333955
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Language Practices Among Children and Youth in Indonesia
This open access book presents studies of language use in Indonesia, focusing on children and youth. It reports on developments in the use of language for narrative production and within the realm of popular culture and traditional cultural practices in Indonesia. Through studies that include cohesion in narrative production, language in radio advertising, naming practices and formulaic prohibi…
- Edition
- -
- ISBN/ISSN
- 978-981-99-4774-4
- Collation
- XIII, 198
- Series Title
- -
- Call Number
- -
Data Parallel C++
"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm University Learn how to accelerate C++ programs using data parallelism and SYCL. This open access book enables C++ programmers to be at the forefront of this exciting and important development that is help…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-9690-5
- Collation
- XXX, 630
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography