Suggested Topics within your search.
Suggested Topics within your search.
- Mathematical theory of computation
- Artificial intelligence 34
- Computer programming / software development 30
- Software Engineering 30
- Algorithms & data structures 25
- Systems analysis & design 23
- Computer modelling & simulation 10
- Computer architecture & logic design 8
- Computer networking & communications 8
- Computer science 8
- Information technology: general issues 8
- Translation & interpretation 8
- linguistics 8
- Software testing & verification 6
- Ethical & social aspects of IT 4
- Expert systems / knowledge-based systems 4
- Mathematical foundations 4
- Maths for scientists 4
- Network hardware 4
- Computer security 3
- Games development & programming 3
- Maths for engineers 3
- Robotics 3
- Applied mathematics 2
- Calculus of variations 2
- Computer vision 2
- Computing & information technology 2
- Cultural studies 2
- Cybernetics & systems theory 2
- Data capture & analysis 2
-
41
-
42
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 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
43
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 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
44
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 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
45
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 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
46
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
47
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
48
Introduction to Scientific Programming with Python
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
49
Mathematical Aspects of Logic Programming Semantics
Published 2011OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
50
Introduction to Scientific Programming with Python
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
51
-
52
Controlled Document Authoring in a Machine Translation Age
Published 2021OAPEN Library: description of the publication
Electronic Book Chapter -
53
Chapter preface
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
54
Chapter 1 Introduction
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
55
Chapter Bibliography
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
56
-
57
-
58
-
59
-
60