Search Results - "Computer simulation"

Advances in Computer Simulation Studies on Crystal Growth by Hiroki Nada (Ed.)

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

Computergestützte Verfahren zur pragmatischen Beurteilung der Tragwiderstände von Brettschichtholz: Zusammenfassung exemplarischer Simulationsstudien by Frese, Matthias

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

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

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

Bildhafte Räume, begehbare Bilder Virtuelle Architekturen interdisziplinär

Subjects: “…computer simulation…”
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 II /

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 I /

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

Machine Learning in Biomolecular Simulations

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

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

Monte Carlo N-Particle Simulations for Nuclear Detection and Safeguards An Examples-Based Guide for Students and Practitioners / by Hendricks, John S., Swinhoe, Martyn T., Favalli, Andrea

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

Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire

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

Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire

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

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

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

Software for Exascale Computing - SPPEXA 2016-2019

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