Mathematical theory of computation books

Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and...  Read More >>

Die seit Ende der sechziger Jahre durchgeführten Forschungen auf dem Gebiet der Datenbanksysteme haben seit der...  Read More >>

This program, Mathematics and Its Applications, is devoted to such (new) interrelations as exempla gratia: - a central...  Read More >>

The daily routine changed: instead of going to the University each day, where I used to spend most of my time in...  Read More >>

(He himself would have sharply objected to the qualifier ""theoretical,"" because he more or less identified science...  Read More >>

This book is an introduction to one of the important as­ pects of Numerical Analysis, namely the approximate solution...  Read More >>

 Read More >>

This is a textbook devoted to mathematical programming algorithms and the mathematics needed to understand such...  Read More >>

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results...  Read More >>

This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical...  Read More >>

The ostensible reason for the Symposium was explained in the Announce­ ment of the Symposium as follows: Systems...  Read More >>

This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical...  Read More >>

This unique text/reference reviews algorithms for the exact or approximate solution of shortest-path problems, with...  Read More >>

This book contains a selection of papers presented at the conference on High Performance Software for Nonlinear...  Read More >>

This volume contains all twenty-three of the principal survey papers presented at the Symposium on Ordered Sets...  Read More >>

if the measured value is 1.0, and inaccuracy is bounded by 0.1, then the actual (unknown) value of the quantity...  Read More >>

By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas,...  Read More >>

This book constitutes the refereed proceedings of the 14th Conference of the Spanish Association for Artificial...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the workshops held at the 37th International...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal...  Read More >>

Das Standardwerk zur Objektmodellierung und zur UML! Dieses bestens eingeführte, zweifarbig gestaltete Lehrbuch...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the China-Japan Joint Conference on...  Read More >>

The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference...  Read More >>

Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key,...  Read More >>

Teaching programming for engineers in a rigorous manner, this volume introduces pointer-based memory manipulation...  Read More >>