Search Results - "computability"

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

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

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

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

The Future Internet Future Internet Assembly 2011: Achievements and Technological Promises /

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

The Future Internet Future Internet Assembly 2012: From Promises to Reality /

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

Sensor Technologies Healthcare, Wellness and Environmental Applications / by McGrath, Michael J., Ni Scanaill, Cliodhna, Nafus, Dawn

Subjects: “…Computers.…”
Link to Metadata

Managing Risk and Information Security Protect to Enable / by Harkins, Malcolm W.

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

Programming Persistent Memory A Comprehensive Guide for Developers / by Scargall, Steve

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

Intelligent Systems for Sustainable Person-Centered Healthcare

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

Air Quality Integrated Assessment A European Perspective /

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

Cohesion, Coherence and Temporal Reference from an Experimental Corpus Pragmatics Perspective by Grisot, Cristina

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

Data-Driven Fault Detection and Reasoning for Industrial Monitoring by Wang, Jing, Zhou, Jinglin, Chen, Xiaolu

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

The Digital Humanist: A Critical Inquiry by Fiormonte, Domenico

Subjects: “…computing…”
DOAB: download the publication
DOAB: description of the publication

Solving PDEs in Python: The FEniCS Tutorial I by Langtangen, Hans Petter

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

Particle Swarm Optimization

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication

Evolutionary Computation

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication

New Achievements in Evolutionary Computation

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication