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
-
61
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: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
62
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
63
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
64
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: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
65
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
66
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
67
Cyber-Physical Systems: A Model-Based Approach
Published 2021Subjects: “…Cooperating objects (Computer systems).…”
Link to Metadata
Electronic eBook -
68
Autonomous Driving Technical, Legal and Social Aspects /
Published 2016Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
69
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
70
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
71
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
72
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
73
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
74
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
75
Intertwingled The Work and Influence of Ted Nelson /
Published 2015Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
76
Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /
Published 2021Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
77
Engineering Haptic Devices
Published 2023Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
78
Technology, Design and the Arts - Opportunities and Challenges
Published 2020Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
79
Sonic Interactions in Virtual Environments
Published 2023Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
80
Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /
Published 2017Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook