Simon M. Kaplan has written:
'Specification and verification of context conditions for programming languages' -- subject(s): Programming languages (Electronic computers), Semantics
'Verification of recursive programs' -- subject(s): Automatic theorem proving, Recursive programming
Glenn M. Kaplan has written: 'Enhancing hypnotizability' -- subject(s): Physiological effect, Hypnotic susceptibility, Hypnotism
Bernard M. Kaplan has written: 'A guide to modern business and commercial law' -- subject(s): Commercial law
Simon M. Prem has written: 'Martin Greif'
Simon M. Spiteri has written: 'Sigurd Lewerentz (1885-1975)'
Simon M. Blake has written: 'Metabolic and histological changes associated with the experimentally induced arthritis in the rabbit'
I. M. Simon has written: 'Khasi and Jaintia tales and beliefs' -- subject(s): Khasa (Indii people), Folklore
Simon M. Newman has written: 'Information systems compatibility' -- subject(s): Information storage and retrieval systems
Simon M. Fass has written: 'Political economy in Haiti' -- subject(s): Economic conditions, Economic policy
Simon M Cargill has written: 'Application of the production-grade method to the estimation of U.S. uranium resources' -- subject(s): Uranium
M. A. Kaplan has written: 'An analysis of the two-dimensional particle-in-cell method' -- subject(s): Hydrodynamics, Nuclear explosions 'Interpolation on a net of convex quadrilaterals' -- subject(s): Boundary value problems, Interpolation, Numerical solutions, Surfaces
M. T. Simon has written: 'Hip Replacement' 'Hip replacements' -- subject(s): Popular works, Total hip replacement, Reoperation, Artificial hip joints
Simon M. Potter has written: 'Nonlinear time series modelling' -- subject(s): Nonlinear theories, Time-series analysis 'Nonlinear Time Series and Economic Fluctuations (Nonlinear Time Series and Chaos , Vol 3)'