Computer modelling & simulation

Climate under Cover: Digital Dynamic Simulation in Plant Bio-Engineering

T. Takakura, Wei Fang, Tadashi Takakura

Modeling and Simulation of Aerospace Vehicle Dynamics (Aiaa Education Series)

Peter H. Zipfel

MCSE.

James Chellis, Charles Perkins, Matthew Strebe.

Analysis and control system techniques for electric power systems

edited by C. T. Leondes.

Power electronics: converters, applications, and design

Ned Mohan, Tore M. Undeland, William P. Robbins.

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

Isil Dillig, Serdar Tasiran

SPICE: a guide to circuit simulation and analysis using PSpice

Paul W. Tuinenga.

Model Checking

Edmund M. Clarke Jr., Doron A. Peled, Orna Grumberg

Continuous Signals and Systems with MATLAB (Electrical Engineering Textbook Series)

Mohammad A. Karim, Taan S. ElAli

Heterogeneous and Liquid Phase Processes: Laboratory Studies Related to Aerosols and Clouds

Peter Warneck, C. Vinckier, C. Zetzsch, G. A. Salmon, P. Mirabel