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 US 2012; US$ 99.00
Upcoming Numerical Linear Algebra Issues in Systems and Control Theory (P. Van Dooren). Sidestepping the Certainty Equivalence in 2DOF Adaptive Control Via the Multiple Implicit Identifiers (E. Mosca et al.). Complexity of Dynamic Models for Intelligent Control (K.M. Hangos). The Most Simple Systolic Architectures for Parallel Probabalistic... more...
- Taylor and Francis 2009; US$ 96.95
Genetic Algorithms and Genetic Programming: Modern Concepts and Practical Applications discusses algorithmic developments in the context of genetic algorithms (GAs) and genetic programming (GP). It applies the algorithms to significant combinatorial optimization problems and describes structure identification using HeuristicLab as a platform for... more...
- Elsevier Science 2000; US$ 175.00
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There... more...
- World Scientific Publishing Company 1990; US$ 116.00
This proceedings contains contributions on topics such as the models of computation, analysis and design of sequential and parallel algorithms, data structures and their applications, approximating algorithms and probabilistic analysis, and computational complexity. Contents: Analysis and Implementation of Parallel Uniform Hashing (F Luccio et al);... more...
- Oxford University Press 2006; US$ 23.99
When ordinary people - mathematicians among them - take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. This book investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. more...
- Elsevier Science 1985; US$ 133.00
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications... more...
- Oxford University Press, USA 2000; US$ 22.99
When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.... more...
- Taylor and Francis 2014; US$ 89.95
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi... more...