Mathematical theory of computation books

Die Zukunft der modernen Industriegesellschaft hängt letztlich nicht von ökonomischen, vielmehr von kulturellen...  Read More >>

This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW)...  Read More >>

In the eighties, the largest Russian publishing house for scientific literature Nauka Publishers, Moscow, issued...  Read More >>

Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an...  Read More >>

Rough set approach to reasoning under uncertainty is based on inducing knowledge representation from data under...  Read More >>

Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory...  Read More >>

 Read More >>

This book provides an account of those parts of contemporary set theory of direct relevance to other areas of pure...  Read More >>

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy,...  Read More >>

Artificial Neural Networks have captured the interest of many researchers in the last five years. As with many young...  Read More >>

Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen....  Read More >>

The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided...  Read More >>

 Read More >>

This volume contains the courses given at the Sixth Summer School on Complex Systems held at Facultad de Ciencias...  Read More >>

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen...  Read More >>

The purpose of this book is to introduce VHSIC Hardware Description Lan­ guage (VHDL) and its use for synthesis....  Read More >>

This book grew out of our research, industry consulting and con­ tinuing education courses. Basic material included...  Read More >>

The book is organized into three parts: Curves and Codes, Codes and Signals, and Signals and Information. Codes,...  Read More >>

 Read More >>

Interactive Operations Research with Maple: Methods and Models has two ob­ jectives: to provide an accelerated introduction...  Read More >>

 Read More >>

"" ['etat pathologique ne differe point radicalement de ['etat physiologique, a ['egard duquel if ne suarait constituer,...  Read More >>

While Barisone et al.'s characterization in Chapter 1 deals with instruction set usage of Java applications, Kim...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 4th Western European Workshop on Research in Cryptology, WEWoRC...  Read More >>