Search Results - "Computer simulation"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer simulation 31
- Computer Modelling 28
- Research & information: general 18
- Software Engineering 18
- Technology: general issues 15
- Computer modelling & simulation 14
- Computer science 14
- History of engineering & technology 14
- Artificial intelligence 13
- Software engineering 8
- Artificial Intelligence 7
- Mathematics & science 7
- Computer programming / software development 6
- Mathematical physics 6
- Mathematical theory of computation 6
- Computer Science Logic and Foundations of Programming 5
- Computer networks 5
- Formal Languages and Automata Theory 5
- Machine theory 5
- Algorithms & data structures 4
- Automation 4
- Computer Engineering and Networks 4
- Computer engineering 4
- Control engineering 4
- Control, Robotics, Automation 4
- Data processing 4
- Information technology: general issues 4
- Programming & scripting languages: general 4
- Robotics 4
- Science: general issues 4
-
61
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Subjects: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
62
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Subjects: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
63
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...
Published 2019Subjects: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
64
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...
Published 2019Subjects: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
65
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,...
Published 2019Subjects: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
66
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,...
Published 2019Subjects: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
67
Molecular Dynamics Simulation
Published 2014Subjects: “…Computer Simulations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
68
Numerical Methods and Computer Simulations in Energy Analysis
Published 2023Subjects: “…computer simulations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
69
The Art of Abduction
Published 2022Subjects: “…computer simulations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
70
Simulation and Analysis of High Voltage Engineering in Power Systems
Published 2022Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
71
Biosensors with Magnetic Nanocomponents
Published 2020Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
72
Dissipative, Entropy-Production Systems across Condensed Matter and Interdisciplinary Classical VS. Quantum Physics
Published 2022Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
73
Biomechanics of Contemporary Implants and Prosthesis: Modeling, Experiments, and Clinical Application
Published 2022Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
74
3D Printing of Metal
Published 2023Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
75
3D Printing of Metal
Published 2023Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
76
Feature Papers in Mathematical and Computational Applications
Published 2023Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
77
Advanced Materials for Electrochemical Energy Conversion and Storage Devices
Published 2022Subjects: “…computational simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
78
Inverse Dynamics Problems
Published 2021Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
79
Sensors and Biosensors Related to Magnetic Nanoparticles
Published 2022Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
80
Image Simulation in Remote Sensing
Published 2022Subjects: “…computational simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter