Résultats de la recherche - "formalization"
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
- 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
-
81
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Publié 2018Sujets: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
82
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Publié 2018Sujets: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
83
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Publié 2018Sujets: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
84
Russian Formalism A Metapoetics
Publié 1984Sujets: “…Russian formalism…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
85
Meaningful reform in the Western Balkans Between formal institutions and informal practices
Publié 2019Sujets: “…formal…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
86
Central and Eastern European Literary Theory and the West
Publié 2022Sujets: “…Russian formalism…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
87
Meaningful reform in the Western Balkans Between formal institutions and informal practices
Publié 2019Sujets: “…formal…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
88
Central and Eastern European Literary Theory and the West
Publié 2022Sujets: “…Russian formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
89
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...
Publié 2021Sujets: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
90
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...
Publié 2021Sujets: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
91
Homonyme und ihre formale Aufloesbarkeit im System Sprache Dargestellt an altrussischen Berufsbezeichnungen
Publié 1974Sujets: “…formale…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
92
The Revival of the Russian Literary Avantgarde The Thaw Generation and Beyond
Publié 2001Sujets: “…formalism…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
93
Modeling the Pāṇinian System of Sanskrit Grammar
Publié 2019Sujets: “…Formal representation of Sanskrit grammar…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
94
Modeling the Pāṇinian System of Sanskrit Grammar
Publié 2019Sujets: “…Formal representation of Sanskrit grammar…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
95
The Revival of the Russian Literary Avantgarde The Thaw Generation and Beyond
Publié 2001Sujets: “…formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
96
Homonyme und ihre formale Aufloesbarkeit im System Sprache Dargestellt an altrussischen Berufsbezeichnungen
Publié 1974Sujets: “…formale…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
97
Ostrannenie. On "Strangeness" and the Moving Image. The History, Reception, and Relevance of a Concept
Publié 2010Sujets: “…Russian formalism…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
98
Ostrannenie. On "Strangeness" and the Moving Image. The History, Reception, and Relevance of a Concept
Publié 2010Sujets: “…Russian formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
99
The Literariness of Media Art
Publié 2019Sujets: “…Russian formalism…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
100
Current Challenges in Modeling Cellular Metabolism
Publié 2016Sujets: “…modeling formalisms…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre