# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

Most popular at the top

#### Church's Thesis After 70 Years

De Gruyter 2006; US$ 210.00Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There... more...

#### Classical Mathematical Logic

Princeton University Press 2011; US$ 132.00In Classical Mathematical Logic , Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field... more...

#### Closure Strategies for Turbulent and Transitional Flows

Cambridge University Press 1753; US$ 167.00Coherent collection of lectures and state-of-the-art surveys on turbulence modelling by leading researchers. more...

#### Computational Fluid Dynamics Review 2010

World Scientific Publishing Company 2010; US$ 124.00This volume contains 25 review articles by experts which provide up-to-date information about the recent progress in computational fluid dynamics (CFD). Due to the multidisciplinary nature of CFD, it is difficult to keep up with all the important developments in related areas. "CFD Review 2010" would therefore be useful to researchers by... more...

#### Computational Fluid Mechanics

Elsevier Science 2014; US$ 72.95Computational Fluid Mechanics: Selected Papers compiles papers on computational fluid dynamics written between 1967 and 1982. This book emphasizes the numerical solution of the equations of fluid mechanics in circumstances where the viscosity is small. The vortex and projection methods, numerical solution of problems in kinetic theory, combustion... more...

#### Computational Models for Turbulent Reacting Flows

Cambridge University Press 2003; US$ 108.00The current state of the art in computational models for turbulent reacting flows. more...

#### Computational Viscoelasticity

Springer Berlin Heidelberg 2012; US$ 49.95This text is a guide how to solve problems in which viscoelasticity is present using existing commercial computational codes. The book gives information on codes? structure and use, data preparation and output interpretation and verification. The first part of the book introduces the reader to the subject, and to provide the models, equations and... more...

#### A Concise Introduction to Pure Mathematics, Third Edition

CRC Press 2010; US$ 62.95Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Third Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material but also many interesting topics not usually encountered at this level, such as the theory of... more...

#### Conditional and Preferential Logics: Proof Methods and Theorem Proving

IOS Press 2010; US$ 114.00This volume contains a revised and updated version of the author?s Ph.D. dissertation, and is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. Conditional logics have a long history, and recently they... more...

#### Configurational Forces

CRC Press 2010; US$ 144.95Exploring recent developments in continuum mechanics, Configurational Forces: Thermomechanics, Physics, Mathematics, and Numerics presents the general framework for configurational forces. It also covers a range of applications in engineering and condensed matter physics. The author presents the fundamentals of accepted standard continuum mechanics,... more...