Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering
- Software engineering 21
- Computer Engineering and Networks 20
- Computer engineering 20
- Computer networks 20
- Artificial intelligence 19
- Computer science 18
- Artificial Intelligence 13
- Computer networking & communications 8
- Theory of Computation 8
- Algorithms 4
- Computer Science Logic and Foundations of Programming 4
- Computer hardware 4
- Computer programming / software development 4
- Computers 4
- Design and Analysis of Algorithms 4
- Compilers (Computer programs) 3
- Compilers and Interpreters 3
- Computer Communication Networks 3
- Computer Hardware 3
- Control Structures and Microprogramming 3
- Microprogramming 3
- Application software 2
- Computer Modelling 2
- Computer and Information Systems Applications 2
- Computer modelling & simulation 2
- Computer simulation 2
- Formal Languages and Automata Theory 2
- Machine theory 2
- Programming & scripting languages: general 2
-
1
-
2
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published 2022Subjects: Link to Metadata
Electronic eBook -
3
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published 2022Subjects: Link to Metadata
Electronic eBook -
4
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published 2023Subjects: Link to Metadata
Electronic eBook -
5
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published 2023Subjects: Link to Metadata
Electronic eBook -
6
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published 2023Subjects: Link to Metadata
Electronic eBook -
7
Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /
Published 2016Subjects: “…Computer engineering.…”
Link to Metadata
Electronic eBook -
8
-
9
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Published 2020Subjects: Link to Metadata
Electronic eBook -
10
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /
Published 2022Subjects: “…Computer engineering.…”
Link to Metadata
Electronic eBook -
11
-
12
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published 2020Subjects: Link to Metadata
Electronic eBook -
13
-
14
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Subjects: Link to Metadata
Electronic eBook -
15
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Subjects: Link to Metadata
Electronic eBook -
16
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023Subjects: Link to Metadata
Electronic eBook -
17
-
18
-
19
Cyber Security 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers /
Published 2022Subjects: Link to Metadata
Electronic eBook -
20