Zoekresultaten - "computational simulations"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- 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 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Gepubliceerd in 2018Onderwerpen: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
62
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
Gepubliceerd in 2018Onderwerpen: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
63
Software for Exascale Computing - SPPEXA 2016-2019
Gepubliceerd in 2020Onderwerpen: “…Computer simulation.…”
Link to Metadata
Elektronisch E-boek -
64
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Gepubliceerd in 2019Onderwerpen: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
65
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Gepubliceerd in 2019Onderwerpen: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
66
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...
Gepubliceerd in 2019Onderwerpen: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
67
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...
Gepubliceerd in 2019Onderwerpen: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
68
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,...
Gepubliceerd in 2019Onderwerpen: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
69
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,...
Gepubliceerd in 2019Onderwerpen: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
70
Numerical Investigations of Combustion
Gepubliceerd in 2022Onderwerpen: “…computational simulations…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
71
Advanced Permanent Magnet Machines and Drives
Gepubliceerd in 2023Onderwerpen: “…computational simulations…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
72
Advanced Materials for Electrochemical Energy Conversion and Storage Devices
Gepubliceerd in 2022Onderwerpen: “…computational simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
73
Micro/Nanofluidic and Lab-on-a-Chip Devices for Biomedical Applications
Gepubliceerd in 2022Onderwerpen: “…computational simulations…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
74
Image Simulation in Remote Sensing
Gepubliceerd in 2022Onderwerpen: “…computational simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
75
Simulation and Analysis of High Voltage Engineering in Power Systems
Gepubliceerd in 2022Onderwerpen: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
76
Smart Energy and Intelligent Transportation Systems
Gepubliceerd in 2022Onderwerpen: “…computer simulations…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
77
Progress in Group Field Theory and Related Quantum Gravity Formalisms
Gepubliceerd in 2020Onderwerpen: “…computer simulations…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
78
Biosensors with Magnetic Nanocomponents
Gepubliceerd in 2020Onderwerpen: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
79
Dissipative, Entropy-Production Systems across Condensed Matter and Interdisciplinary Classical VS. Quantum Physics
Gepubliceerd in 2022Onderwerpen: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
80
Biomechanics of Contemporary Implants and Prosthesis: Modeling, Experiments, and Clinical Application
Gepubliceerd in 2022Onderwerpen: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk