Elsevier Science

The Metamathematics of Algebraic Systems
1st Edition
Volume 66
Lev D. Beklemishev
English
Fundamentals of Numerical Reservoir Simulation
1st Edition
Volume 6
D.W. Peaceman
English
The use of numerical reservoir simulation with high-speed electronic computers has gained wide acceptance throughout the petroleum industry for making engineering studies of a wide variety of oil and gas reservoirs throughout the world. These reservoir simulators have been designed for use by reservoir engineers who possess little or no background in the numerical mathematics upon which they are based. In spite of the efforts to improve numerical methods to make reservoir simulators as reliable, efficient, and automatic as possible, the user of a simulator is faced with a myriad of decisions that have nothing to do with the problem to be solved. This book combines a review of some basic reservoir mechanics with the derivation of the differential equations that reservoir simulators are designed to solve.
Instrumental Liquid Chromatography
A Practical Manual on High-Performance Liquid Chromatographic Methods
2nd Edition
Volume 27
N.A. Parris
English
Provability, Computability and Reflection
1st Edition
Volume 22
Lev D. Beklemishev
English
Developments and Interactions of the Precambrian Atmosphere, Lithosphere and Biosphere
1st Edition
Volume 7
B. Nagy + 3 more
English
Selection of papers from the IGCP Project 157 and 160 meeting at the Univ. Nacional Autonoma de Mexico, 11-14 Jan. 1982
Sentences Undecidable in Formalized Arithmetic
1st Edition
Volume 10
Lev D. Beklemishev
English
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
1st Edition
Volume 60
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 25
Lev D. Beklemishev
English
The Foundations of Intuitionistic Mathematics
1st Edition
Volume 39
Lev D. Beklemishev
English
Hydrodynamics of Semi-Enclosed Seas
1st Edition
Volume 34
J.C.J. Nihoul
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Elsevier Science

The Metamathematics of Algebraic Systems

Fundamentals of Numerical Reservoir Simulation

Instrumental Liquid Chromatography

Provability, Computability and Reflection

Developments and Interactions of the Precambrian Atmosphere, Lithosphere and Biosphere

Sentences Undecidable in Formalized Arithmetic

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Provability, Computability and Reflection

The Foundations of Intuitionistic Mathematics

Hydrodynamics of Semi-Enclosed Seas

Browse by Publisher