Modelling Computing Systems: Mathematics for Computer Science (Undergraduate Topics in Computer Science)

Computational Modeling of Shallow Geothermal Systems (Multiphysics Modeling)

Logic in Computer Science: Modelling and Reasoning about Systems

Power System Modeling, Computation, and Control (IEEE Press)

AXIOMIX PROGRAMMING FOR NUMERICAL SYSTEMS: Symbolic and Numeric Computation Models for Scientific and Engineering Workloads (Numerical & Scientific Computing Systems)