Suggested Topics within your search.
Suggested Topics within your search.
- Computer networks 55
- Computer Engineering and Networks 54
- Computer engineering 54
- Computer science 43
- Artificial intelligence 39
- Software Engineering 29
- Computer networking & communications 28
- Artificial Intelligence 24
- Software engineering 22
- Electrical engineering 15
- Computer Communication Networks 12
- Data processing 11
- Theory of Computation 11
- Algorithms & data structures 9
- Computers 9
- Engineering 9
- Engineering mathematics 9
- Mathematical and Computational Engineering Applications 9
- Biomedical engineering 7
- Communications Engineering, Networks 7
- Computer vision 7
- Control Structures and Microprogramming 7
- Maths for engineers 7
- Microprogramming 7
- Telecommunication 7
- Compilers (Computer programs) 6
- Compilers and Interpreters 6
- Computer modelling & simulation 6
- Computer programming / software development 6
- Research & development management 6
-
101
Cyber-Physical Systems: A Model-Based Approach
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
102
Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
103
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
104
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
105
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
106
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
107
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
108
-
109
-
110
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
111
-
112
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
113
Symmetry in Engineering Sciences
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
114
Expanding the Horizons of Manufacturing: Towards Wide Integration, Smart Systems and Tools
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
115
Bayesian Methods in the Search for MH370
Published 2016“…SpringerBriefs in Electrical and Computer Engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
116
Bayesian Methods in the Search for MH370
Published 2016“…SpringerBriefs in Electrical and Computer Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
117
Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems
Published 2023“…SpringerBriefs in Electrical and Computer Engineering; SpringerBriefs in Control, Automation and Robotics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
118
Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems
Published 2023“…SpringerBriefs in Electrical and Computer Engineering; SpringerBriefs in Control, Automation and Robotics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
119
Wearable Technologies
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
120