Search Results - "Computing"

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Discovering the New Place of Learning

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computational Methods für die Sozial- und Geisteswissenschaften by Jünger, Jakob

Subjects: “…Computational Social Science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL by Reinders, James

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

Augmented Reality for Engineering Graphics by Ivanov, Vitalii

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

Multimodal Panoptic Segmentation of 3D Point Clouds by Dürr, Fabian

Subjects: “…Maths for computer scientists bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Roboter für Assistenzfunktionen Konzeptstudien für die Interaktion in der Praxis

Subjects: “…Maths for computer scientists bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Digital Humanities and Laboratories Perspectives on Knowledge, Infrastructure and Culture

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
DOAB: description of the publication

Chapter The Promise of Laboratories An Introduction to Digital Humanities Laboratories in the 21st Century by Pawlicka-Deger, Urszula

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
DOAB: download the publication
DOAB: description of the publication

Chapter 8 Black Lives Matter: A Context for Teaching Mathematics for Social Justice by Leonard, Jacqueline

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

Inventive Minds Marvin Minsky on Education

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

Chapter 8 Black Lives Matter: A Context for Teaching Mathematics for Social Justice by Leonard, Jacqueline

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

Digital Humanities and Laboratories Perspectives on Knowledge, Infrastructure and Culture

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
OAPEN Library: description of the publication

Chapter The Promise of Laboratories An Introduction to Digital Humanities Laboratories in the 21st Century by Pawlicka-Deger, Urszula

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Co-creating Digital Public Services for an Ageing Society Evidence for User-centric Design / by Jarke, Juliane

Subjects: “…Computer and Information Systems Applications.…”
Link to Metadata

Pattern Recognition, Tracking and Vertex Reconstruction in Particle Detectors by Frühwirth, Rudolf, Strandlie, Are

Subjects: “…Theoretical, Mathematical and Computational Physics.…”
Link to Metadata

Volunteered Geographic Information Interpretation, Visualization and Social Context /

Subjects: “…Computer and Information Systems Applications.…”
Link to Metadata

Scattering Amplitudes in Quantum Field Theory by Badger, Simon, Henn, Johannes, Plefka, Jan Christoph, Zoia, Simone

Subjects: “…Theoretical, Mathematical and Computational Physics.…”
Link to Metadata

Physical (A)Causality Determinism, Randomness and Uncaused Events / by Svozil, Karl

Subjects: “…Theoretical, Mathematical and Computational Physics.…”
Link to Metadata

Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security by Mohr, Martin

Subjects: “…Maths for computer scientists bicssc…”
DOAB: download the publication
DOAB: description of the publication