検索結果 - "Computer Science"

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

主題: “…Computer science.…”
Link to Metadata

First Semester in Numerical Analysis with Python 著者: Liu, Yaning

主題: “…Computer Science Textbooks…”
Access online version

Introduction to Statistical Thinking 著者: Yakir, Benjamin

主題: “…Computer Science Textbooks…”
Access online version

Evidence-based Software Engineering 著者: Jones, Derek M.

主題: “…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...

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

The Informatics of Time and Events 著者: Gérard Berry

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

Robotics: Hephaestus does it again 著者: Jean-Paul Laumond

主題: “…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...

主題: “…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...

主題: “…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...

主題: “…Computer science.…”
Link to Metadata

Smittestopp − A Case Study on Digital Contact Tracing

主題: “…Computer science.…”
Link to Metadata

Entity-Oriented Search 著者: Balog, Krisztian

主題: “…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 /

主題: “…Computer science.…”
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 I /

主題: “…Computer science.…”
Link to Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

主題: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

主題: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

主題: “…Computer science.…”
Link to Metadata

Human Factors in Privacy Research

主題: “…Computer science.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

主題: “…Computer science.…”
Link to Metadata

Pro TBB C++ Parallel Programming with Threading Building Blocks 著者: Voss, Michael

主題: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication