Search Results - "formal"
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
-
121
Micro, Small, and Medium Enterprises in Vietnam
Published 2020Subjects: “…formal and informal manufacturing…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
122
Micro, Small, and Medium Enterprises in Vietnam
Published 2020Subjects: “…formal and informal manufacturing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
123
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
124
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
125
The Everyday Life of an Algorithm
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
126
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
127
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
128
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
129
The Amazing Journey of Reason from DNA to Artificial Intelligence /
Published 2020Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
130
Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika
Published 2015Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
131
Nutzung des Zentrifugalkraftfeldes für die Vorhersage der Langzeitstabilität von kosmetischen Emulsionen
Published 2007Subjects: “…Formale Begriffsanalyse…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
132
Chapter 2 Fighting Avant-Garde with Phenomenology Gustav Shpet's 'New Realism'
Published 2023Subjects: “…Gustav Shpet, avant-garde, formalism, conservatism, the inner form of the word…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
133
Chapter 2 Fighting Avant-Garde with Phenomenology Gustav Shpet's 'New Realism'
Published 2023Subjects: “…Gustav Shpet, avant-garde, formalism, conservatism, the inner form of the word…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
134
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
135
Aspects of Poverty and Inequality in Cameroon
Published 2018Subjects: “…Informal and formal sector linkages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
136
Aspects of Poverty and Inequality in Cameroon
Published 2018Subjects: “…Informal and formal sector linkages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
137
Kursbuch Informatik I. Formale Grundlagen der Informatik und Programmierkonzepte am Beispiel von Java. Eine Einführung in die Informatik auf der Grundlage etablierter Lehrbücher...
Published 2005Subjects: “…Formale Sprache…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
138
Chapter User-Centered Design
Published 2017Subjects: “…user requirements engineering, system requirements, system validation, design formalisms…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
139
Chapter User-Centered Design
Published 2017Subjects: “…user requirements engineering, system requirements, system validation, design formalisms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
140
Applications of Quantum Mechanical Techniques to Areas Outside of Quantum Mechanics
Published 2018Subjects: “…mathematical formalism of quantum theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter