Search Results - "computing systems"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 70
- Software Engineering 68
- Computer networking & communications 64
- Computer science 42
- Human-computer interaction 33
- User Interfaces and Human Computer Interaction 33
- User interfaces (Computer systems) 33
- Systems analysis & design 30
- Algorithms & data structures 28
- Computer programming / software development 28
- Network hardware 28
- Expert systems / knowledge-based systems 24
- Information technology: general issues 24
- Mathematical theory of computation 22
- User interface design & usability 22
- Computer networks 21
- Computer security 18
- Information retrieval 18
- Application software 17
- Computer and Information Systems Applications 17
- Computer vision 17
- Computer System Implementation 15
- Computer systems 15
- Computer Communication Networks 14
- Computers, Special purpose 14
- Special Purpose and Application-Based Systems 14
- Computer modelling & simulation 12
- Cooperating objects (Computer systems) 12
- Cyber-Physical Systems 12
- Image processing 12
-
141
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
142
Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Published 2020Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
143
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: “…distributed computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
144
Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Published 2020Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
145
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: “…distributed computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
146
Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
147
Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
Published 2022Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
148
Anti-fragile ICT Systems
Published 2016Subjects: “…Computer Systems Organization and Communication Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
149
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…distributed computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
150
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…distributed computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
151
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
152
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
153
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
154
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Published 2022Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
155
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
156
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
157
Special Topics in Information Technology
Published 2021Subjects: “…computer system architectures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
158
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…distributed computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
159
Cyber Security 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
160
Cyber Security 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter