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
-
101
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…distributed computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
102
Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems
Published 2019Subjects: “…User interfaces (Computer systems)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems
Published 2019Subjects: “…User interfaces (Computer systems)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
104
Cyber-Physical Systems: A Model-Based Approach
Published 2021Subjects: “…modeling computational systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
105
Cyber-Physical Systems: A Model-Based Approach
Published 2021Subjects: “…modeling computational systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
106
Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings /
Published 2019Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
107
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: “…distributed computer systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
108
Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Published 2019Subjects: “…User interfaces (Computer systems)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
109
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
110
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
111
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
112
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
113
Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Published 2019Subjects: “…User interfaces (Computer systems)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
114
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
115
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
116
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: “…distributed computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
117
Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /
Published 2022Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
118
Symbiotic Interaction 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised Selected Papers /
Published 2017Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
119
Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications /
Published 2012Subjects: “…User interfaces (Computer systems).…”
Link to Metadata
Electronic eBook -
120
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter