نتایج جستجو

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
Gilles Barthe (auth.), 1996
Ordinary and Partial Differential Equations: Proceedings of the Eighth Conference held at Dundee, Scotland, June 25–29, 1984
A. M. A. Abou-El-Ela (auth.), 1985
IUTAM Symposium on Turbulent Mixing and Combustion: Proceedings of the IUTAM Symposium held in Kingston, Ontario, Canada, 3–6 June 2001
Emmanuel Villermaux (auth.), 2002