Mathematical theory of computation books

This is the first text to teach Pascal pro­ gramming in a fashion which not only includes advanced algorithms which...  Read More >>

Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically...  Read More >>

Current practice dictates the separation of the hardware and software development paths early in the design cycle....  Read More >>

The aim of software engineering is the provision and investigation of methods for the development of software systems...  Read More >>

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Pattern Recognition in Bioinformatics,...  Read More >>

The 26 revised full papers and 6 revised poster papers, presented together with 1 tutorial and 1 invited talk were...  Read More >>

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. The notation used in this book...  Read More >>

Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically...  Read More >>

Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically...  Read More >>

The study of groups equipped with a compatible lattice order (""lattice-ordered groups"" or ""I!-groups"") has arisen...  Read More >>

 Read More >>

To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to...  Read More >>

Techniques and principles of minimax theory play a key role in many areas of research, including game theory, optimization,...  Read More >>

This collection of material, twice reviewed and revised, hails from two international workshops on the subject,...  Read More >>

This volume contains the accounts of the principal survey papers presented at GRAPHS and ORDER, held at Banff, Canada...  Read More >>

This book contains the transcripts of the lectures presented at the NATO Advanced study Institute on ""Computational...  Read More >>

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a...  Read More >>

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than...  Read More >>

Probabilistic Analysis of Algorithms begins with a presentation of the ""tools of the trade"" currently used in...  Read More >>

This book contains a collection of survey papers in the areas of algorithms, lan­ guages and complexity, the three...  Read More >>

During the sixteenth century, Cardano wrote a fascinating work called The Book on Games of Chance. His technique...  Read More >>

Offers a collection of research papers in optimization and approximation that covers the research on optimization...  Read More >>

Reliability analysis is concerned with the analysis of devices and systems whose individual components are prone...  Read More >>

We planned this book as a Festschrift for Smitty Stevens because we thought he might be retiring around 1974, although...  Read More >>