Search Results - "Computing Science"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 459
- Artificial intelligence 197
- Software Engineering 156
- Computer Science 135
- Information technology industries 101
- Computer networking & communications 80
- Algorithms & data structures 67
- Information technology: general issues 67
- Mathematics 62
- Computer networks 54
- Software engineering 54
- Artificial Intelligence 52
- Computer programming / software development 52
- Mathematical theory of computation 52
- Computer modelling & simulation 46
- Network hardware 44
- Systems analysis & design 43
- Data processing 38
- Expert systems / knowledge-based systems 36
- History of engineering & technology 36
- Computer Engineering and Networks 35
- Computer engineering 35
- User interface design & usability 35
- Media studies 34
- Information retrieval 30
- Computer vision 28
- Image processing 28
- Computer security 27
- Information technology 27
- Theory of Computation 27
-
701
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
702
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published 2020Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
703
Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /
Published 2018Subjects: “…Natural language processing (Computer science).…”
Link to Metadata
Electronic eBook -
704
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: “…Computer science.…”
Link to Metadata
Electronic eBook -
705
Review Papers in Big Data, Cloud-Based Data Analysis and Learning Systems
Published 2023Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
706
Handbook on Craniofacial Superimposition The MEPROCS Project
Published 2020Subjects: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
707
Mythos Enigma Die Chiffriermaschine als Sammler- und Medienobjekt
Published 2008Subjects: “…Computer Sciences…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
708
Mythos Enigma Die Chiffriermaschine als Sammler- und Medienobjekt
Published 2008Subjects: “…Computer Sciences…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
709
Handbook on Craniofacial Superimposition The MEPROCS Project
Published 2020Subjects: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
710
The Huawei and Snowden Questions Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
Published 2018Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
711
The Huawei and Snowden Questions Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
Published 2018Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
712
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
713
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
714
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 science Mathematics.…”
Link to Metadata
Electronic eBook -
715
Clinical Text Mining Secondary Use of Electronic Patient Records /
Published 2018Subjects: “…Natural language processing (Computer science).…”
Link to Metadata
Electronic eBook -
716
Advanced Mathematical Science for Mobility Society
Published 2024Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
717
Data Power Radical Geographies of Control and Resistance
Published 2022Subjects: “…Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
718
Schulentwicklung Bildungspolitische Wunschvorstellung oder paedagogische Realitaet?
Published 2016Subjects: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
719
Schulentwicklung Bildungspolitische Wunschvorstellung oder paedagogische Realitaet?
Published 2016Subjects: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
720
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...
Published 2019Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook