Search Results - "Computer"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 459
- History of engineering & technology 320
- Artificial intelligence 316
- Technology: general issues 281
- Computer networking & communications 219
- Computing & information technology 216
- Software Engineering 206
- Educational equipment & technology, computer-aided learning (CAL) 177
- Research & information: general 153
- Information technology industries 145
- Media studies 145
- Computer Science 135
- Computer modelling & simulation 135
- Information technology: general issues 124
- Human-computer interaction 118
- Computer vision 111
- Computer security 109
- Computer networks 107
- Education 101
- Computational linguistics 98
- Medicine 96
- linguistics 96
- Computer programming / software development 91
- Algorithms & data structures 89
- Artificial Intelligence 80
- Application software 75
- Computer and Information Systems Applications 75
- Mathematics 74
- Maths for computer scientists 74
- Mathematical theory of computation 73
-
341
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published 2023Subjects: “…Computer engineering.…”
Link to Metadata
Electronic eBook -
342
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published 2023Subjects: “…Computer engineering.…”
Link to Metadata
Electronic eBook -
343
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published 2023Subjects: “…Computer engineering.…”
Link to Metadata
Electronic eBook -
344
Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings
Published 2017Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
345
Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings
Published 2017Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
346
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018Subjects: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
347
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018Subjects: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
348
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018Subjects: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
349
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018Subjects: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
350
Office 365: Migrating and Managing Your Business in the Cloud
Published 2013Subjects: “…Computer networks .…”
Link to Metadata
Electronic eBook -
351
Solving Ordinary Differential Equations in Python
Published 2024Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
352
@ is for Activism Dissent, Resistance and Rebellion in a Digital Culture
Published 2011Subjects: “…Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
353
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised Selected Papers
Published 2017Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
354
Challenges in Cybersecurity and Privacy - the European Research Landscape
Published 2019Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
355
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised Selected Papers
Published 2017Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
356
Challenges in Cybersecurity and Privacy - the European Research Landscape
Published 2019Subjects: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
357
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: “…Computers.…”
Link to Metadata
Electronic eBook -
358
Technology, Design and the Arts - Opportunities and Challenges
Published 2020Subjects: “…Human-computer interaction.…”
Link to Metadata
Electronic eBook -
359
Sonic Interactions in Virtual Environments
Published 2023Subjects: “…Human-computer interaction.…”
Link to Metadata
Electronic eBook -
360
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: “…Computer Vision…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter