Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 6
- Artificial intelligence 5
- Computer science 4
- Computer modelling & simulation 2
- Computer networking & communications 2
- Computer programming / software development 2
- Information technology: general issues 2
- Mathematical theory of computation 2
- Programming & scripting languages: general 2
- Software engineering 2
- Systems analysis & design 2
- Artificial Intelligence 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Engineering and Networks 1
- Computer Modelling 1
- Computer Science Logic and Foundations of Programming 1
- Computer engineering 1
- Computer networks 1
- Computer simulation 1
- Computers 1
- Electronic digital computers 1
- Evaluation 1
- Formal Languages and Automata Theory 1
- Logic in AI 1
- Logic programming 1
- Machine theory 1
- Professions 1
- System Performance and Evaluation 1
- The Computing Profession 1
-
1
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
2
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
3
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
-
5
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6