Hamiltonian dynamical systems history, theory, and applications
H. Scott Dumas; Kenneth R Meyer 1937- (Kenneth Ray); Dieter S Schmidt; International Conference on Hamiltonian DynamicalSystems (1992 University of Cincinnati)
Mathematical foundations of programming language semantics proceedings
Conference on the Mathematical Foundations of Programming Semantics (3rd. : 1987 : New Orleans, US) Michael Main; Austin Melton; David Schmidt; Michael Mislove
Berlin Springer 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.298 ex.1 ) e outros locais(Acessar)