Search Results - "formality"
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
-
141
Media Education and Digital Literacy
Published 2023Subjects: “…formal education…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
142
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 -
143
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published 2018Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
144
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published 2018Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
145
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 Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
146
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
147
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
148
Resemblance and Representation: An Essay in the Philosophy of Pictures
Published 2014Subjects: “…Formal language…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
149
Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community
Published 2009Subjects: “…formal housing…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
150
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 -
151
Resemblance and Representation: An Essay in the Philosophy of Pictures
Published 2014Subjects: “…Formal language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
152
Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community
Published 2009Subjects: “…formal housing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
153
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
154
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 -
155
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 -
156
Computational Formalism Art History and Machine Learning
Published 2023Subjects: “…formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
157
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 -
158
Formalization of Banking Supervision 19th-20th Centuries
Published 2022Subjects: “…Formalization of Banking Supervision…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
159
Land Tenure Security and Sustainable Development
Published 2022Subjects: “…Formalization of land tenure…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
160
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