Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model, Fachbücher von Dorit Jerg...

Creating Dynamic Radar Models for Large-Scale Simulations, Fachbücher von Michael Pietsch

Adaptive Nested Models and Cloud Computing for Scientific Simulation, Fachbücher

Cloud-Resolving Modeling of Convective Processes, Fachbücher

Generation and Simulation of Clutter for RADAR Testing Using FPGA, Fachbücher

Development of Simulation Models for DER Components & Systems, Fachbücher

Modeling, Simulation, and Verification of Stochastic Hybrid Systems, Fachbücher

Simulation of a weather radar measurement over the Lake Tana watershed, Fachbücher

Automatic reduction of multi-zone models for building simulation, Fachbücher

Simulation model for design and management of recirculating system, Fachbücher

Extending KeY for the Verification of C Programs, Fachbücher

Ecosystem simulation models of the upper Guf of California, Fachbücher

Writing Testbenches: Functional Verification of HDL Models, Fachbücher

Simulation and Verification of Electronic and Biological Systems, Fachbücher von Peter Feldmann

An Authentication Model for Cloud Computing Application, Fachbücher

Monte Carlo simulations of the Ising model, Fachbücher von Michael Adler