Search Results - "Computer simulation"

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

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

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

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

Molecular Dynamics Simulation

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

Numerical Methods and Computer Simulations in Energy Analysis

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

The Art of Abduction by Douven, Igor

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

Simulation and Analysis of High Voltage Engineering in Power Systems

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

Biosensors with Magnetic Nanocomponents

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

Dissipative, Entropy-Production Systems across Condensed Matter and Interdisciplinary Classical VS. Quantum Physics

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

Biomechanics of Contemporary Implants and Prosthesis: Modeling, Experiments, and Clinical Application

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

3D Printing of Metal

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

3D Printing of Metal

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

Feature Papers in Mathematical and Computational Applications

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

Advanced Materials for Electrochemical Energy Conversion and Storage Devices

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

Inverse Dynamics Problems

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

Sensors and Biosensors Related to Magnetic Nanoparticles

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

Image Simulation in Remote Sensing

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