Search Results - "computability"

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

Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: 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 bicssc…”
OAPEN Library: download the publication
OAPEN Library: 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 Lysne, Olav

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

Computation and the Humanities: Towards an Oral History of Digital Humanities by Nyhan, Julianne

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

Telecommunication Economics: Selected Results of the COST Action IS0605 by Antonis M. Hadjiantonis

Subjects: “…Computers and Society…”
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 Lysne, Olav

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

Computation and the Humanities: Towards an Oral History of Digital Humanities by Nyhan, Julianne

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

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml / by Wang, Liang, Zhao, Jianxin

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

Quantum Computing for the Quantum Curious by Hughes, Ciaran, Isaacson, Joshua, Perry, Anastasia, Sun, Ranbel F., Turner, Jessica

Subjects: “…Quantum computers.…”
Link to Metadata

Telecommunication Economics Selected Results of the COST Action IS0605 Econ@Tel /

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

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020 /

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

Advanced HPC-based Computational Modeling in Biomechanics and Systems Biology

Subjects: “…Computational Biomechanics…”
DOAB: download the publication
DOAB: description of the publication

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Subjects: “…Computers.…”
Link to Metadata

Algorithms for Big Data DFG Priority Program 1736 /

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

Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers /

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

Software for Exascale Computing - SPPEXA 2016-2019

Subjects: “…Computers.…”
Link to Metadata

Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers /

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

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

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

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /

Subjects: “…Computer systems.…”
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...

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