Discrete Dynamical Systems - Sandefur, James T.

Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

Computer Algebra Methods for Equivariant Dynamical Systems. Gatermann, Karin:

Dynamic Economics: Quantitative Methods and Applications (Mit Press) by Jerome

Formal Methods for Dynamical Systems : 13th International School on Formal Me...

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems...