Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 7
- Software Engineering 5
- Computer Science Logic and Foundations of Programming 3
- Computers 3
- Software engineering 3
- Computer modelling & simulation 2
- Computer programming / software development 2
- Computing Milieux 2
- Electronic digital computers 2
- Evaluation 2
- Information technology: general issues 2
- Mathematical theory of computation 2
- System Performance and Evaluation 2
- Systems analysis & design 2
- Artificial Intelligence 1
- Artificial intelligence 1
- Computer Engineering and Networks 1
- Computer Hardware 1
- Computer Modelling 1
- Computer engineering 1
- Computer networks 1
- Computer simulation 1
- Data Structures and Information Theory 1
- Data structures (Computer science) 1
- Formal Languages and Automata Theory 1
- Information theory 1
- Machine theory 1
- Professions 1
- The Computing Profession 1
-
1
-
2
-
3
-
4
-
5
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: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
-
7
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
8
-
9
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter