Search Results - "computer 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
-
41
The Hackable City Digital Media and Collaborative City-Making in the Network Society
Published 2019Subjects: “…User interfaces (Computer systems)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
42
The Hackable City Digital Media and Collaborative City-Making in the Network Society
Published 2019Subjects: “…User interfaces (Computer systems)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
43
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 -
44
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 -
45
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 -
46
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 -
47
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 -
48
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 -
49
Cyber-Physical Systems: A Model-Based Approach
Published 2021Subjects: “…Cooperating objects (Computer systems).…”
Link to Metadata
Electronic eBook -
50
Autonomous Driving Technical, Legal and Social Aspects /
Published 2016Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
51
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 -
52
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 -
53
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 -
54
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 -
55
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 -
56
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 -
57
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…Computer systems.…”
Link to Metadata
Electronic eBook -
58
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…Computer systems.…”
Link to Metadata
Electronic eBook -
59
Data Spaces Design, Deployment and Future Directions /
Published 2022Subjects: “…Computer systems.…”
Link to Metadata
Electronic eBook -
60
Smittestopp − A Case Study on Digital Contact Tracing
Published 2022Subjects: “…Computer systems.…”
Link to Metadata
Electronic eBook