Elsevier Science

Computer Programming and Formal Systems
1st Edition
Volume 35
Lev D. Beklemishev
English
Sets, Models and Recursion Theory
1st Edition
Volume 46
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 33
Lev D. Beklemishev
English
Eolian Sediments and Processes
1st Edition
Volume 38
M.E. Brookfield + 1 more
English
Papers cover the entire spectrum of eolian investigations, ranging from the microscopic level to regional synthesis as well as ancient eolian deposits and their interpretation.
Iron-Formation: Facts and Problems
1st Edition
Volume 6
A.F. Trendall + 1 more
English
Introduction to Global Variational Geometry
1st Edition
Volume 17
Demeter Krupka
English
This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles
Chemical Derivatization in Liquid Chromatography
1st Edition
Volume 7
J.F. Lawrence + 1 more
English
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
1st Edition
Volume 74
Lev D. Beklemishev
English
Constructive Order Types
1st Edition
Volume 56
Lev D. Beklemishev
English
Elementary Induction on Abstract Structures
1st Edition
Volume 77
Lev D. Beklemishev
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Elsevier Science

Computer Programming and Formal Systems

Sets, Models and Recursion Theory

Provability, Computability and Reflection

Eolian Sediments and Processes

Iron-Formation: Facts and Problems

Introduction to Global Variational Geometry

Chemical Derivatization in Liquid Chromatography

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Constructive Order Types

Elementary Induction on Abstract Structures

Browse by Publisher