Suggested Topics within your search.
Suggested Topics within your search.
- Computer modelling & simulation
- Software Engineering
- Artificial intelligence 12
- Computer programming / software development 10
- Mathematical theory of computation 10
- Computer science 8
- Algorithms & data structures 6
- Computer networking & communications 6
- Information technology: general issues 4
- Programming & scripting languages: general 4
- Systems analysis & design 4
- Computer hardware 2
-
1
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
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 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
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 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
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 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
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 2018“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
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 2018“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
12
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
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 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter