Search Results - "formalism"
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
Meaningful reform in the Western Balkans Between formal institutions and informal practices
Published 2019Subjects: “…formal…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
102
Meaningful reform in the Western Balkans Between formal institutions and informal practices
Published 2019Subjects: “…formal…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
103
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
104
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
105
Homonyme und ihre formale Aufloesbarkeit im System Sprache Dargestellt an altrussischen Berufsbezeichnungen
Published 1974Subjects: “…formale…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
106
Modeling the Pāṇinian System of Sanskrit Grammar
Published 2019Subjects: “…Formal representation of Sanskrit grammar…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
107
Modeling the Pāṇinian System of Sanskrit Grammar
Published 2019Subjects: “…Formal representation of Sanskrit grammar…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
108
Homonyme und ihre formale Aufloesbarkeit im System Sprache Dargestellt an altrussischen Berufsbezeichnungen
Published 1974Subjects: “…formale…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
109
Quantum Information and Symmetry
Published 2020Subjects: “…s-wave symmetry Eliashberg formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
110
Current Challenges in Modeling Cellular Metabolism
Published 2016Subjects: “…modeling formalisms…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
111
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 -
112
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 -
113
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 -
114
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 -
115
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 -
116
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 -
117
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 -
118
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 -
119
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 -
120
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