# The Leading eBooks Store Online

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

Most popular at the top

#### Matrix Preconditioning Techniques and Applications

Cambridge University Press 2005; US$ 156.00A comprehensive introduction to preconditioning techniques, now an essential part of successful and efficient iterative solutions of matrices. more...

#### Essentials of Error-Control Coding

Wiley 2006; US$ 93.00Jorge Castiñera Moreira is Associate Professor (Senior Lecturer) in Communication Systems in the Electronics Department, School of Engineering, Mar del Plata University, Argentina. He is Director of the Communications Laboratory, Director of the research project “Open Source software applications for wireless networks” and... more...

#### Code Design for Dependable Systems

Wiley 2006; US$ 223.00EIJI FUJIWARA , PhD, is Professor at the Tokyo Institute of Technology. His research interests include design theory for error control codes, dependable systems, and error tolerant data compression. more...

#### Semigroups And Languages, Proceedings Of The Workshop

World Scientific Publishing Company 2004; US$ 175.00In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields. The proceedings have been selected for coverage in:. ? Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings).... more...

#### Index and Stability in Bimatrix Games

Springer Berlin Heidelberg 2006; US$ 99.00The index of an equilibrium in a game gives information about the "stability" of the equilibrium, for example with respect to game dynamics. Unfortunately, index theory is often very technical. This book presents a new geometric construction that visualises the index in an intuitive way. For example, a 3C B C B C B C B C B C B C B C B n game,... more...

#### Abstract Computing Machines

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2006; US$ 109.00This 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...

#### Theory of Automata, Formal Languages and Computation

New Age International Pvt. Ltd., Publishers 2004; US$ 20.00This book is aimed at providing an introduction to the basic models of computability to the undergraduate students. This book is devoted to Finite Automata and their properties. Pushdown Automata provides a class of models and enables the analysis of context-free languages. Turing Machines have been introduced and the book discusses computability and... more...

#### Developments in Language Theory

Springer 2007; US$ 79.95This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. The 32 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 74 submissions. All important issues in language theory are addressed including... more...

#### A Second Course in Formal Languages and Automata Theory

Cambridge University Press 2008; US$ 66.00A textbook for a graduate course on formal languages and automata theory, building on prior knowledge of theoretical computer models. more...

#### Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I

Cambridge University Press 2008; US$ 92.00Presents seminal papers from the Caltech-UCLA 'Cabal Seminar', unpublished material, and related new papers. more...