The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- Springer New York 2006; US$ 89.99
This book comes from the Internet. Browsing the Web, I stumbled on philosophers, cognitive scientists, sociologists, computer scientists, even mathematicians!?saying original, provocative things about mathematics. And many of these people had probably never heard of each other! So I have collected them here. This way, they can read each other?s work.... more...
- Vittorio Klostermann 2009; US$ 92.74
Die Frage, welches der vielen divergierenden modernen Logiksysteme ?die eine, richtige" Logik enthält, wird von Logikern gerne zurückgewiesen: eine solche Logik gebe es nicht. In Michael Wolffs Buch wird diese Frage anders behandelt, nämlich durch Anwendung der Methode der logisch-semantischen Sprachanalyse auf die Sprachen der Logik selbst. Diese... more...
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2006; US$ 109.00
This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines. more...
- Springer New York 2006; US$ 199.00
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. more...
- CRC Press 2010; US$ 104.95
Access Control, Security, Trust, and Logic Deconstructing Access Control Decisions A Logical Approach to Access Control PRELIMINARIES A Language for Access Control Sets and Relations Syntax Semantics Reasoning about Access Control Logical Rules Formal Proofs and Theorems Soundness of Logical Rules Basic Concepts Reference... more...
- Princeton University Press 2015; US$ 45.00
John Mather?s seminal works in Hamiltonian dynamics represent some of the most important contributions to our understanding of the complex balance between stable and unstable motions in classical mechanics. His novel approach?known as Aubry-Mather theory?singles out the existence of special orbits and invariant measures of the system, which possess... more...
- Springer New York 2007; US$ 169.00
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated... more...
- Springer New York 2010; US$ 179.00
Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the current state of additive number theory. The applications discussed include communication theory and digital signal processing, image processing, optimization and discrete geometry. more...
- Elsevier Science 1997; US$ 195.00
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: ? admissible or permissible inference rules ? the derivability of the admissible inference rules ? the structural completeness of logics ? the bases for admissible and valid inference rules.... more...