Search Results - "computation"

Second Generation General System Theory: Perspectives in Philosophy and Approaches in Complex Systems by Gianfranco Minati

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

Rethinking the Internet of Things A Scalable Approach to Connecting Everything / by daCosta, Francis, Henderson, Byron

Subjects: “…Computers.…”
Link to Metadata

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

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

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

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

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

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

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: 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 simulation.…”
Link to Metadata

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

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs /

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

Altmetrics for Digital Libraries Concepts, Applications, Evaluation, and Recommendations by Nuredini, Kaltrina

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

The Complexity of Zadeh's Pivot Rule

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

Altmetrics for Digital Libraries Concepts, Applications, Evaluation, and Recommendations by Nuredini, Kaltrina

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

The Complexity of Zadeh's Pivot Rule

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

Anti-fragile ICT Systems by Hole, Kjell Jørgen

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

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

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

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: 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: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication