Mathematical theory of computation books

This classic book on formal languages, automata theory, and computational complexity has been updated to present...  Read More >>

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013,...  Read More >>

The two-volume set LNCS 8269 and 8270 constitutes the refereed proceedings of the 19th International Conference...  Read More >>

Johannes Buchmann is internationally recognized as one of the leading figures in areas of computational number theory,...  Read More >>

This book constitutes the proceedings of the 10th International Workshop on Fuzzy Logic and Applications, WILF 2013,...  Read More >>

This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable...  Read More >>

Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden...  Read More >>

Here is a unified view of how the time domain can be effectively employed in neural network models. Covers synchronization,...  Read More >>

 Read More >>

Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style...  Read More >>

 Read More >>

This book constitutes the proceedings of the 10th International Conference on Modeling Decisions for Artificial...  Read More >>

The book provides the first full length exploration of fuzzy computability. This text provides a glimpse into...  Read More >>

 Read More >>

Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials...  Read More >>

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome...  Read More >>

In recent times (1960), the FEM has been studied by applied mathematicians and, having received rigorous treatment,...  Read More >>

Logic grammars have found wide application both in natural language processing and in formal applications such as...  Read More >>

 Read More >>

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and...  Read More >>

The book focuses on advanced computer algebra methods and special functions that have striking applications in the...  Read More >>

Optimization Approaches for Solving String Selection Problems provides an overview of optimization methods for a...  Read More >>

The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation...  Read More >>

This book constitutes the refereed proceedings of the 8th International Workshop on Security, IWSEC 2013, held in...  Read More >>

This proceedings volume collects review articles that summarize research conducted at the Munich Centre of Advanced...  Read More >>