Suggested Topics within your search.
Suggested Topics within your search.
- Computer networking & communications 36
- Artificial intelligence 32
- Software Engineering 32
- Algorithms & data structures 28
- Computer science 25
- History of engineering & technology 20
- Computer programming / software development 14
- Technology: general issues 14
- Circuits & components 12
- Computer modelling & simulation 10
- Electrical engineering 10
- Mathematical theory of computation 10
- Embedded systems 8
- Expert systems / knowledge-based systems 8
- Systems analysis & design 8
- Chemistry 6
- Computer architecture & logic design 6
- Computing & information technology 6
- Databases 6
- Computer hardware 4
- Electronics engineering 4
- Energy 4
- Energy industries & utilities 4
- Natural language & machine translation 4
- Programming & scripting languages: general 4
- Graphical & digital media applications 3
- Information technology industries 3
- Research & information: general 3
- Sustainability 3
- Astronautics 2
-
41
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
42
-
43
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
44
-
45
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
46
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 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
47
-
48
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
49
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
50
-
51
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
52
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
53
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 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
54
-
55
QoS in Wireless Sensor/Actuator Networks and Systems
Published 2018Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
56
Discovery in Physics
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
57
Fundamentals
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
58
Applications
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
59
Fundamentals
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
60
Applications
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter