Skip to main content
Elsevier
Shopping Cart
openUserAccount

Books in Computer science

BooksJournals

3031-3040 of 3083 results in All results

Provability, Computability and Reflection

  • 1st Edition
  • Volume 34
  • January 1, 1963
  • Lev D. Beklemishev
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 9 5 7 5 4 - 8
The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".

Morphometry of the Human Lung

  • 1st Edition
  • January 1, 1963
  • Ewald R. Weibel
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 2 5 7 9 - 1
Morphometry of the Human Lung considers the developments in understanding the quantitative anatomy of the lung, and in the correlation of anatomy with physiology. This book is composed of 11 chapters, and begins with an overview of a systematic approach to a quantitative morphologic analysis of the architecture of the human lung, followed by a presentation of general problems of methodology and the derivation of reliable dimensional models of this organ. The subsequent chapters describe the methods of preparation of tissues, methods of random sampling, and adaptation of methodologies from other fields of science. These topics are followed by discussions the mathematical formulations for the translation of the data into the desired geometric forms and a technique of counting. The final chapters look into the mode of distribution and geometric forms that should eventually facilitate mathematical and physical considerations regarding the function of the lungs. These chapters also consider the application of these quantitative methods to the study of pathologic specimens, providing a most timely renovation of morphologic pathology. This book will be of value to pulmonologists, physiologists, and researchers who are interested in lung morphometry.

Advances in Computers

  • 1st Edition
  • Volume 3
  • January 1, 1962
  • Franz L. Alt + 1 more
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 6 6 3 5 - 1