Top 1200 andy hamilton auth PDF Book Page 48

book image

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
·633 Pages
·2006
·6.758 MB

book image

Geometric Hamilton–Jacobi theory for systems with external forces

Manuel de León & Manuel Lainz & Asier López-Gordón
·4.1335 MB

book image

To Twist a Witch (The Jinx Hamilton Series, 15)

Juliette Harper
·2020
·0.73828125 MB