Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Dynamical systems: lectures given at the

Dynamical systems: lectures given at the 2nd session of the Centro internazionale matematico estivo C.I.M.E., Montecatini Terme, Italy, 1994

✍ Ludwig Arnold, Christopher K.R.T. Jones, Konstantin Mischaikow, Genevieve Raugel 📂 Library 📅 1995 🏛 Springer 🌐 English ⚖ 2 MB

This volume contains the lecture notes written by the four principal speakers at the C.I.M.E. session on Dynamical Systems held at Montecatini, Italy in June 1994. The goal of the session was to illustrate how methods of dynamical systems can be applied to the study of ordinary and partial different

Logic and computer science: lectures giv

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

✍ S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks 📂 Library 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 1 MB

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: **S. Homer:** The Isomorphism Conjecture and its Generalization.- **A. Nerode:**

Logic and computer science: lectures giv

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

✍ Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Pi 📂 Library 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 1 MB

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: **S. Homer:** The Isomorphism Conjecture and its Generalization.- **A. Nerode:**

Relativistic Fluid Dynamics: Lectures gi

Relativistic Fluid Dynamics: Lectures given at the 1st 1987 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Noto

✍ A. Anile, Y. Choquet-Bruhat 📂 Library 📅 1989 🏛 Springer 🌐 English ⚖ 2 MB

In recent years the subject of relativistic fluid dynamics has found substantial applications in astrophysics and cosmology (theories of gravitational collapse, models of neutron stars, galaxy formation), as well as in plasma physics (relativistic fluids have been considered as models for relativist

Fluid Dynamics: Lectures given at the 3r

Fluid Dynamics: Lectures given at the 3rd 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Varenna, Italy, August 22 – September 1, 1982

✍ H. Beirão da Veiga (eds.) 📂 Library 📅 1984 🏛 Springer 🌐 French ⚖ 1 MB

Thermodynamics and Constitutive Equation

Thermodynamics and Constitutive Equations: Lectures Given at the 2nd 1982 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Noto, Italy, June 23 – July 2, 1982

✍ Bernard D. Coleman (auth.), Giuseppe Grioli (eds.) 📂 Library 📅 1985 🏛 Springer 🌐 English ⚖ 791 KB