Arama Sonuçları - "formalization"
Önerilen Konular
Önerilen Konular
- 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
Abenteuer in der Moderne
Baskı/Yayın Bilgisi 2020Konular: “…russian formalism…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
142
The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries
Baskı/Yayın Bilgisi 2023Konular: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
143
The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries
Baskı/Yayın Bilgisi 2023Konular: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
144
Media Education and Digital Literacy
Baskı/Yayın Bilgisi 2023Konular: “…formal education…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
145
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...
Baskı/Yayın Bilgisi 2019Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
146
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 /
Baskı/Yayın Bilgisi 2018Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
147
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 /
Baskı/Yayın Bilgisi 2018Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
148
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...
Baskı/Yayın Bilgisi 2021Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
149
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Baskı/Yayın Bilgisi 2022Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
150
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Baskı/Yayın Bilgisi 2023Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
151
Resemblance and Representation: An Essay in the Philosophy of Pictures
Baskı/Yayın Bilgisi 2014Konular: “…Formal language…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
152
Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community
Baskı/Yayın Bilgisi 2009Konular: “…formal housing…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
153
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...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
154
Resemblance and Representation: An Essay in the Philosophy of Pictures
Baskı/Yayın Bilgisi 2014Konular: “…Formal language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
155
Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community
Baskı/Yayın Bilgisi 2009Konular: “…formal housing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
156
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Baskı/Yayın Bilgisi 2023Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata
Elektronik Ekitap -
157
Micro, Small, and Medium Enterprises in Vietnam
Baskı/Yayın Bilgisi 2020Konular: “…formal and informal manufacturing…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
158
Micro, Small, and Medium Enterprises in Vietnam
Baskı/Yayın Bilgisi 2020Konular: “…formal and informal manufacturing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
159
Big Data Computing for Geospatial Applications
Baskı/Yayın Bilgisi 2020Konular: “…formalization…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
160
Computational Formalism Art History and Machine Learning
Baskı/Yayın Bilgisi 2023Konular: “…formalism…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü