The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
Transactions on Rough Sets X
Springer 2009; US$ 92.95The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to... more...
Verification and Control of Hybrid Systems
Springer 2009; US$ 79.99Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. more...
A Transition to Advanced Mathematics
Oxford University Press, USA 2009; US$ 78.99Preface 1. Mathematical Logic 2. Abstract Algebra 3. Number Theory 4. Real Analysis 5. Probability and Statistics 6. Graph Theory 7. Complex Analysis Answers to Questions Answers to Odd Numbered Questions Index of Online Resources Bibliography Index more...
Logical Foundations of Proof Complexity
Cambridge University Press 2010; US$ 72.00A treatise on bounded arithmetic and propositional proof complexity by the leader in the field. more...
Handbook of Categorical Algebra, Volume 2
Cambridge University Press 1994; US$ 78.00Second in a three part set, this volume introduces important classes of categories (abelian, monadic, fibred, etc.). more...
Process Algebra
Cambridge University Press 1990; US$ 123.00This is a self-contained introduction to process algebra, a model of concurrency. It will be will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science. more...
Boolean Functions
Cambridge University Press 2011; US$ 127.00Provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. more...
Deep Beauty
Cambridge University Press 2011; US$ 84.00Top researchers in the mathematical foundations of physics explore how innovation can foster deeper insight into the physical world's structure. more...
Inductive Logic
Elsevier Science 2011; US$ 270.00This volume is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic ? as this handbook attests... more...
The Puzzler's Dilemma
Penguin Group US 2012; US$ 12.99Calling all puzzlers... From mathematics to word puzzles, from logic to lateral thinking, veteran puzzle maker Derrick Niederman delights in tackling the trickiest brainteasers in a new way. Among the old chestnuts he cracks wide open are the following classics: Knights and knaves The monk and the mountain The dominoes and the chessboard... more...









