MPG.eBooks - Search Results - "ryan'an"

Cover Image

1

Formal Methods in Systems Engineering

Published 1993

Springer London

Cover Image

2

Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Published 2018

Springer International Publishing

Table of Contents: “... Type and a Finitary Ryan's Theorem -- Hierarchies and Undecidability Results for Iterative Arrays...”

Cover Image

3

High Performance Discovery In Time Series : Techniques and Case Studies

Published 2004

Springer New York