Search Results - "formalization"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 60
- Computer science 56
- Software Engineering 55
- Computer networking & communications 32
- Computer programming / software development 28
- Algorithms & data structures 20
- Mathematical theory of computation 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Research & information: general 15
- Systems analysis & design 14
- Western "classical" music 14
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- linguistics 11
- Technology: general issues 9
- Computer architecture & logic design 8
- Computer modelling & simulation 8
- Development economics & emerging economies 8
- Programming & scripting languages: general 8
- History of engineering & technology 7
- Mathematics & science 7
- Network hardware 6
- Political science & theory 6
- Software testing & verification 6
- Computer Modelling 5
- Computer simulation 5
- Literary studies: general 5
- Literature: history & criticism 5
-
101
The Literariness of Media Art
Published 2019Subjects: “…Russian formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
102
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
104
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
Published 2021Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
105
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
106
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
107
Resistant Form Aristophanes and the Comedy of Crisis
Published 2023Subjects: “…Aristophanes;Greek comedy;formalism;queer studies;classical literature;biopolitics;close reading…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
108
Bildung als Perspektive für Care Leaver? Bildungschancen und Bildungswege junger Erwachsener mit Kinder- und Jugendhilfeerfahrung
Published 2019Subjects: “…(formale) Bildung; Adoleszenz; Ausbildungschancen; Bildungsverläufe; Erwachsene Heinkinder; Heimkinder; informelle Bildung; Kinder- und Jugendhilfe; Pflegekinder; SOS-Kinderdörfer; Sozialpädagogik; Statuspassage…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
109
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Published 2017Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
110
The Natural World as a Resource for Learning and Development: From Schoolyards to Wilderness
Published 2019Subjects: “…Formal learning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
111
Forms of List-Making: Epistemic, Literary, and Visual Enumeration
Published 2022Subjects: “…new formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
112
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Published 2017Subjects: “…formal semantics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
113
Bildung als Perspektive für Care Leaver? Bildungschancen und Bildungswege junger Erwachsener mit Kinder- und Jugendhilfeerfahrung
Published 2019Subjects: “…(formale) Bildung; Adoleszenz; Ausbildungschancen; Bildungsverläufe; Erwachsene Heinkinder; Heimkinder; informelle Bildung; Kinder- und Jugendhilfe; Pflegekinder; SOS-Kinderdörfer; Sozialpädagogik; Statuspassage…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
114
Forms of List-Making: Epistemic, Literary, and Visual Enumeration
Published 2022Subjects: “…new formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
115
Resistant Form Aristophanes and the Comedy of Crisis
Published 2023Subjects: “…Aristophanes;Greek comedy;formalism;queer studies;classical literature;biopolitics;close reading…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
116
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
117
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
118
Handbook of Open, Distance and Digital Education
Published 2023Subjects: “…Non-formal education.…”
Link to Metadata
Electronic eBook -
119
Videogame Formalism On Form, Aesthetic Experience and Methodology
Published 2024Subjects: “…game studies, formalism, game analysis, aesthetic theory of games…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
120
Advances in the study of Siouan languages and linguistics
Published 2016Subjects: “…formal/generative linguistics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter