Search Results - "computability"

Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings by Catherine Achard

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

Recent Advances in Understanding the Basic Mechanisms of Atrial Fibrillation Using Novel Computational Approaches

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

System- and Data-Driven Methods and Algorithms

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

Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias

Subjects: “…shortest paths computation…”
DOAB: download the publication
DOAB: description of the publication

Interdisciplinary Insights for Digital Touch Communication by Jewitt, Carey

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

System- and Data-Driven Methods and Algorithms

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

Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias

Subjects: “…shortest paths computation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Policy-Oriented Technology Assessment Across Europe Expanding Capacities /

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

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 engineering.…”
Link to Metadata

Bayesian Methods in the Search for MH370 by Gordon, Neil, Davey, Sam, Holland, Ian, Rutten, Mark, Williams, Jason

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

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

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

Subjects: “…Computer-based algorithms…”
DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…Computer-based algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

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

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

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

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Ahmed, Amal

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

Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools by R. D. van der Mei

Subjects: “…Human-Computer Interactopm (HCI)…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Ahmed, Amal

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

ICILS 2018 #NRW by Amelie Labusch

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