Search Results - "Computer Science"

Graphic Design and Print Production Fundamentals by Collins, Wayne, Haas, Alex, Jeffery, Ken, Martin, Alan, Medeiros, Roberto, Tomljanovic, Steven

Subjects: “…Computer Science Textbooks…”
Access online version

Data Sciences: From First-Order Logic to the Web by Serge Abiteboul

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? by Olav Lysne

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /

Subjects: “…Computer science.…”
Link to Metadata

Algorithms for Big Data DFG Priority Program 1736 /

Subjects: “…Data structures (Computer science).…”
Link to Metadata

The Future of Work Challenges and Prospects for Organisations, Jobs and Workers /

Subjects: “…Computer science.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Subjects: “…Computer science.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Subjects: “…Computer science.…”
Link to Metadata

First Semester in Numerical Analysis with Python by Liu, Yaning

Subjects: “…Computer Science Textbooks…”
Access online version

Introduction to Statistical Thinking by Yakir, Benjamin

Subjects: “…Computer Science Textbooks…”
Access online version

Evidence-based Software Engineering by Jones, Derek M.

Subjects: “…Computer Science Textbooks…”
Access online version

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Computer Science…”
DOAB: download the publication
DOAB: description of the publication

The Informatics of Time and Events by Gérard Berry

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

Robotics: Hephaestus does it again by Jean-Paul Laumond

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Computer Science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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...

Subjects: “…Computer science.…”
Link to Metadata

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...

Subjects: “…Computer science.…”
Link to Metadata

Smittestopp − A Case Study on Digital Contact Tracing

Subjects: “…Computer science.…”
Link to Metadata

Entity-Oriented Search by Balog, Krisztian

Subjects: “…Computer science Mathematics.…”
Link to Metadata

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 /

Subjects: “…Computer science.…”
Link to Metadata