Computational methods in optimal control problems. Lecture notes in operation re

Computational Transport Phenomena: Numerical Methods for the Solution of Transp

Leveraging applications of formal methods, verification and validation, Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Leveraging Applications of Formal Methods, Verification and Validation: Technolo

Computational Problems, Methods, and Results in Algebraic Number Theory Lecture

Computational Transport Phenomena Numerical Methods for Solution … 9780521553780

Leveraging Applications of Formal Methods, Verification and Validation. Software