Suggested Topics within your search.
Suggested Topics within your search.
- Mathematical theory of computation
- Algorithms & data structures 25
- Computer programming / software development 14
- Software Engineering 14
- Artificial intelligence 12
- Systems analysis & design 12
- Computer modelling & simulation 6
- Computer science 4
- Expert systems / knowledge-based systems 4
- Information technology: general issues 4
- Network hardware 4
- Computer security 3
- Maths for engineers 3
- Applied mathematics 2
- Computer architecture & logic design 2
- Computer networking & communications 2
- Cultural studies 2
- Discrete mathematics 2
- Ethical & social aspects of IT 2
- Finance 2
- Mathematical foundations 2
- Maths for computer scientists 2
- Operating systems 2
- Programming & scripting languages: general 2
- Sociology 2
-
1
The Everyday Life of an Algorithm
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Algorithms for Big Data DFG Priority Program 1736
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
The Everyday Life of an Algorithm
Published 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
Algorithms for Big Data DFG Priority Program 1736
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
-
6
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
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, Part III
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Published 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
12
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
-
16
-
17
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: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
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: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
19
The Amazing Journey of Reason from DNA to Artificial Intelligence
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
The Amazing Journey of Reason from DNA to Artificial Intelligence
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter