Filter by
Programming Languages and Systems: 33rd European Symposium on Programming, ES…
Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57262-3
- Collation
- 1 online resource (XVI, 340 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 WEI p
European Language Equality: A Strategic Agenda for Digital Language Equality
This open access book presents a comprehensive collection of the European Language Equality (ELE) project’s results, its strategic agenda and roadmap with key recommendations to the European Union on how to achieve digital language equality in Europe by 2030. The fabric of the EU linguistic landscape comprises 24 official languages and over 60 regional and minority languages. However, languag…
- Edition
- -
- ISBN/ISSN
- 9783031288197
- Collation
- XXXIV, 412
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
The Everyday Life of an Algorithm
This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in a series of ever more demanding for…
- Edition
- 1
- ISBN/ISSN
- 9783030005788
- Collation
- IX, 151 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Corps et capital dans le roman français du XIXe siècle
Depuis Pierre Bourdieu, nous savons que le corps forme un capital culturel et social incorporé. Il est marchandise et moyen de production, signe d’appartenance à une classe sociale, un lieu où se négocient les relations de sexe, de genre et de pouvoir ou un prétexte à des exclusions sociales et au racisme. Le corps est objet de châtiments, de sanctions et de contrôle social, support d…
- Edition
- 1
- ISBN/ISSN
- 978-3-7329-9032-0
- Collation
- 500
- Series Title
- Literaturwissenschaft
- Call Number
- -
Bulletin der deutschen Slavistik 2024
Das Bulletin der deutschen Slavistik ist das offizielle Organ des Verbands der deutschen Slavistik (http://slavistik.org/) und erscheint jährlich.
- Edition
- 1
- ISBN/ISSN
- 978-3-7329-8816-7
- Collation
- 120
- Series Title
- Bulletin der deutschen Slavistik
- Call Number
- -
Spanischunterricht digital
Die digitale Transformation erfasst alle Lebensbereiche und damit auch das Lehren und Lernen. Der schulische Fremdsprachenunterricht verändert sich: Hybride Lernumgebungen, neue Textsorten und ephemere Informationen auf Social Media stehen ganz selbstverständlich auf dem Programm. Das erfordert neue Kompetenzen bei Lehrenden und Lernenden. In einer mehrsprachigen, multimodalen und digitalen W…
- Edition
- 1
- ISBN/ISSN
- 978-3-7329-8995-9
- Collation
- 292
- Series Title
- 43
- Call Number
- -
Sprachförderung in DaZ
Deutschland ist seit Jahrzehnten ein Einwanderungsland. Sprachförderung für Zugewanderte ist also kein neues Thema. Massiv steigende Flüchtlingszahlen offenbaren jedoch die Lücken und Herausforderungen des deutschen Bildungssystems gerade in diesem Bereich. In den Schulen ist vor allem der Bereich Deutsch als Zweitsprache (DaZ) – und hier insbesondere die Sprachförderung – betroffen. G…
- Edition
- 1
- ISBN/ISSN
- 978-3-7329-8842-6
- Collation
- 180
- Series Title
- DaF/DaZ in Forschung und Lehre
- Call Number
- -
Foundations of Software Science and Computation Structures: 22nd Internationa…
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected fro…
- Edition
- 1
- ISBN/ISSN
- 9783030171278
- Collation
- XV, 542
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 28th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 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.
- Edition
- 1
- ISBN/ISSN
- 9783030171841
- Collation
- XV, 816
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography