Account
Orders
Advanced search
Formal Systems and Recursive Functions
Provability, Computability and Reflection
Contributions to Mathematical Logic
Large Infinitary Languages
Instrumental Liquid Chromatography
Intuitionism An Introduction
Introduction to the Theory of Finite Automata
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...
Hazardous Metals in Human Toxicology
Pyrolysis Mass Spectrometry of Recent and Fossil Biomaterials
Constructive Order Types
Applications
The Axiom of Choice
A Deductive Theory of Space and Time
This volume contains detailed, comprehensive advice on rat, mouse and human hybridoma production. It begins with a general introduction, then describes the practical applications of the technology with photographs and protocols for everything from animal dissection to...
A Transfinite Type Theory with Type Variables
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers