The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
Abstract Computing Machines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2006; US$ 84.99This 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...
Structural Theory of Automata, Semigroups, and Universal Algebra
Springer 2006; US$ 84.99A result of the NATO ASI summer school held in Montreal in 2003, this book develops semi groups and automata and surveys them. It also places emphasis on the structural theory of automata that studies ways to construct big automata from small ones. more...
Fuzzy Logic Applications in Engineering Science
Springer 2006; US$ 99.99Fuzzy logic has been a conceptual process applied in the field of risk management. This book is intended for professional engineers and students and those with an interest in exploring the potential of fuzzy logic as an information processing kit with a variety of practical applications in the field of engineering science. more...
Theory of Relations
Elsevier Science 2000; US$ 200.00Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by Dushnik, Miller 1940 who, starting from the chain of reals, obtained an infinite strictly decreasing... more...
Constraint Logic Programming using Eclipse
Cambridge University Press 2006; US$ 73.00This textbook offers an introduction to the Eclipse system and a guide to problem-solving for students and practitioners alike. more...
Nonlinear Dimensionality Reduction
Springer 2007; US$ 84.99Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets. This book describes the methods to reduce the dimensionality of numerical databases. For each method, the description starts from intuitive ideas, develops the mathematical details, and ends by outlining the algorithmic implementation. more...
Analysis and Synthesis of Logics
Springer 2008; US$ 219.99Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures... more...
Correspondence Analysis in Practice
Taylor & Francis 2007; US$ 92.95Drawing on the author's experience in social and environmental research, Correspondence Analysis in Practice, Second Edition shows how the versatile method of correspondence analysis (CA) can be used for data visualization in a wide variety of situations. This completely revised, up-to-date edition features a didactic approach with self-contained... more...
Andrzej Mostowski and Foundational Studies
IOS Press 2008; US$ 130.00Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings. more...
Theory of Uniform Approximation of Functions by Polynomials
De Gruyter 2008; US$ 119.00A thorough, self-contained and easily accessible treatment of the theory on the polynomial best approximation of functions with respect to maximum norms. The topics include Chebychev theory, Weierstraß theorems, smoothness of functions, and continuation of functions. more...









