Search Results - "computability"

Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings

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

From Digital Twins to Digital Selves and Beyond Engineering and Social Models for a Trans-humanist World / by Barachini, Franz, Stary, Christian

Subjects: “…Computers and civilization.…”
Link to Metadata

Communicating, Networking: Interacting The International Year of Global Understanding - IYGU /

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

Cloud-Based Benchmarking of Medical Image Analysis

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

Co-governed Sovereignty Network Legal Basis and Its Prototype & Applications with MIN Architecture / by Li, Hui, Yang, Xin

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

Data Science, Human-Centered Computing, and Intelligent Technologies

Subjects: “…Computers…”
DOAB: description of the publication

Data Science, Human-Centered Computing, and Intelligent Technologies

Subjects: “…Computers…”
OAPEN Library: description of the publication

Industrielle Datenanalyse Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken /

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

Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment by Cheruvu, Sunil

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

Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment by Cheruvu, Sunil

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

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 logic…”
DOAB: download the publication
DOAB: description of the publication

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 logic…”
DOAB: download the publication
DOAB: description of the publication

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 logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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 logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

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

Algorithms for Big Data DFG Priority Program 1736

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

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

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

Algorithms for Big Data DFG Priority Program 1736

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

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

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

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

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