Rezultaty - "computational simulations"

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

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences / od Wen, Chih-Yung, Jiang, Yazhong, Shi, Lisong

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

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

Hasła przedmiotowe: “…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 od Frese, Matthias

Hasła przedmiotowe: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication

The Art of Abduction od Douven, Igor

Hasła przedmiotowe: “…computer simulations…”
DOAB: download the publication
DOAB: description of the publication

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

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

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

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

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

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

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

Hasła przedmiotowe: “…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 /

Hasła przedmiotowe: “…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 /

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

Machine Learning in Biomolecular Simulations

Hasła przedmiotowe: “…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...

Hasła przedmiotowe: “…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 /

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

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

Hasła przedmiotowe: “…Computer simulation.…”
Link to Metadata

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

Hasła przedmiotowe: “…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

Hasła przedmiotowe: “…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,...

Hasła przedmiotowe: “…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

Hasła przedmiotowe: “…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

Hasła przedmiotowe: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication