Mathematical theory of computation books

The modern electronic testing has a forty year history. Other than the computer engineering curriculum being too...  Read More >>

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the...  Read More >>

Optimization Theory is becoming a more and more important mathematical as well as interdisciplinary area, especially...  Read More >>

Advances In Digital Government presents a collection of in-depth articles that addresses a representative cross-section...  Read More >>

Integrated Image and Graphics Technologies attempts to enhance the access points to both introductory and advanced...  Read More >>

A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished...  Read More >>

 Read More >>

Brings together eleven contributions by international researchers, discussing significant issues in the field of...  Read More >>

Data and Applications Security XVII: Status and Prospects describes original research results, practical experiences...  Read More >>

I am glad to see this new book on the e language and on verification. Preface This book provides a detailed coverage...  Read More >>

Although rigidity has been studied since the time of Lagrange (1788) and Maxwell (1864), it is only in the last...  Read More >>

The programme for the 27 to 29 November 97 in Madrid included invited speakers from leading institutions in the...  Read More >>

Others sessions are devoted to application like eSociety, TTP Management and PKI, Secure Workflow Environment, Secure...  Read More >>

Security Education and Critical Infrastructures presents the most recent developments in research and practice on...  Read More >>

Analog Design Issues in Digital VLSI Circuits and Systems brings together in one place important contributions...  Read More >>

The general concept of information is here, for the first time, defined mathematically by adding one single axiom...  Read More >>

Service and network providers must be able to satisfy the demands for new services, improve the quality of service,...  Read More >>

This volume contains recently extended refereed papers of the 5th International Workshop on Performance Modelling...  Read More >>

Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling...  Read More >>

This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including...  Read More >>

This book constitutes the refereed proceedings of the 13th European Conference on Evolutionary Computation in Combinatorial...  Read More >>

The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of...  Read More >>

Introductory courses in partial di?erential equations are given all over the world in various forms. Students who...  Read More >>

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification,...  Read More >>

This book provides a unified understanding of the use of generating functions for labelled and unlabelled structures....  Read More >>