Search Results - "computable"

Digital Humanism For a Humane Transformation of Democracy, Economy and Culture in the Digital Age / by Nida-Rümelin, Julian, Weidenfeld, Nathalie

Subjects: “…Computers and civilization.…”
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

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 /

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

Mixed-Criticality Industrial Wireless Networks by Jin, Xi, Xia, Changqing, Xu, Chi, Li, Dong

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

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Subjects: “…Computers, Special purpose.…”
Link to Metadata

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

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

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

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

European Language Grid A Language Technology Platform for Multilingual Europe /

Subjects: “…Computational linguistics.…”
Link to Metadata

European Language Equality A Strategic Agenda for Digital Language Equality /

Subjects: “…Computational linguistics.…”
Link to Metadata

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

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

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

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

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /

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

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

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

Engineering Haptic Devices

Subjects: “…Human-computer interaction.…”
Link to Metadata

Dynamic Spectrum Management From Cognitive Radio to Blockchain and Artificial Intelligence / by Liang, Ying-Chang

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

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

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

International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019

Subjects: “…Quantum Computing…”
DOAB: download the publication
DOAB: description of the publication

International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019

Subjects: “…Quantum Computing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication