Search Results - "computable"

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

Diversity in Computer Science Design Artefacts for Equity and Inclusion / by Bjørn, Pernille, Menendez-Blanco, Maria, Borsotti, Valeria

Subjects: “…Computers.…”
Link to Metadata

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

Subjects: “…Computers.…”
Link to Metadata

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

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

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers

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

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers

Subjects: “…Computer science…”
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, Flinn, Andrew

Subjects: “…Computers History.…”
Link to Metadata

Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings /

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

Energy Efficient Servers Blueprints for Data Center Optimization / by Gough, Corey, Steiner, Ian, Saunders, Winston

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

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

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

Smittestopp − A Case Study on Digital Contact Tracing

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

Computer Vision Metrics Survey, Taxonomy, and Analysis / by Krig, Scott

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

Android Application Development for the Intel Platform by Cohen, Ryan, Wang, Tao

Subjects: “…Mobile computing.…”
Link to Metadata

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers

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

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers

Subjects: “…Computer science…”
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 engineering.…”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

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

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems /

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

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Computers.…”
Link to Metadata