Skip to main content
Elsevier

Elsevier Science

  • A Transfinite Type Theory with Type Variables

    • 1st Edition
    • Volume 37
    • Lev D. Beklemishev
    • English

  • Non-Classical Logics, Model Theory, And Computability

    • 1st Edition
    • Volume 89
    • Lev D. Beklemishev
    • English

  • A Guidebook to Lipoprotein Techniques

    • 1st Edition
    • Volume 14
    • G.L. Mills + 2 more
    • English
    This volume is a comprehensive collection of methods for the isolation, characterization, analysis and estimation of soluble lipoproteins. It surveys each aspect of lipoprotein technology in a critical manner which will enable the investigator to select the methods most relevant to his requirements. Having made his choice, he will then find a detailed description of how to perform the technique.

  • Lincos

    Design of a Language for Cosmic Intercourse
    • 1st Edition
    • Volume 28
    • Lev D. Beklemishev
    • English

  • Palygorskite-Sepiolite

    Occurrences, Genesis and Uses
    • 1st Edition
    • Volume 37
    • A. Singer + 1 more
    • 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.

  • Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

    • 1st Edition
    • Volume 99
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 33
    • Lev D. Beklemishev
    • English

  • Clay Minerals

    A Physico-Chemical Explanation of Their Occurrence
    • 1st Edition
    • Volume 40
    • B. Velde
    • English
    This book follows another by the same author, published in 1977, which the author considered as ``a first attempt to put some order in the house of clay petrology''. That book was described as ``an excellent first attack on clay mineral petrology... informative, and stimulating because of the method of presentation and the open-door treatment of the subject. Not only clay-mineral scientists but petrologists in general must read this first book on clay mineral petrology.'' (Earth Science Reviews).This book describes clay mineral occurrence in terms of the physical and chemical forces which influence it. It includes a geological description of mineral occurrence, a definition of the major features of clay mineral chemical composition, and an indication of the physical-chemical boundaries of these occurrences. It also presents general patterns for the geological environments of weathering, sedimentation, burial diagenesis, deep sea basalt alteration, hydrothermal alteration of acidic rocks and chemical precipitation in acidic and basic environments. The major clay groups are related to one another as they occur in geological systems through the use of graphical analysis. The author has thoroughly reviewed the relevant literature for the last 25 years. The data and analyses obtained and presented in this book will not only make interesting reading, but will also prove extremely useful to those involved with studies in deep sea research, mining geology, petroleum geology, agronomy and civil engineering.

  • Differential Geometry and the Calculus of Variations by Robert Hermann

    • 1st Edition
    • Volume 49
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

Browse by Publisher