# The Leading eBooks Store Online

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

Most popular at the top

#### Wind Powered Generator

Maker Media, Inc 2009; US$ 1.99With a motor and some piping, it's surprisingly easy to build this inexpensive, efficient wind generator -and enjoy free energy forever. There are no limits to what you can do with wind power. It's abundant, clean, cheap, and easy to harness. Abe and Josie Connally designed this Chispito Wind Generator (that's Spanish for "little spark") for fast... more...

#### Computational Complexity and Statistical Physics

Oxford University Press, USA 2006; US$ 44.99Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to... more...

#### Einführung in die Theoretische Informatik

De Gruyter 2012; US$ 626.00Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen, damit diese durch den Computer gelöst werden können. Anhand der vier Stufen der Chomsky-Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich für das... more...

#### Formal Languages, Automata and Numeration Systems, Volume 2

Wiley 2014; US$ 115.00The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence... more...

#### Algebraic Theory Of Automata And Languages

World Scientific Publishing Company 2004; US$ 142.00Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn?Rhodes theory and related topics. The topics in the present book are rather different. For example, automorphism groups of automata and the partially ordered sets of automata are systematically discussed. Moreover, some operations on... 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...

#### 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...

#### 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...

#### 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...