Mathematical theory of computation books

Logic provides a set of tools and techniques to address the questions of how to represent, query and reason about...  Read More >>

It is known that for such organisms the rate of adaptation does not steadily increase with the - creasing rate of...  Read More >>

By virtue of the close relationship between logic and relational databses, it turns out that this subject has important...  Read More >>

In this monograph we study two generalizations of standard unification, E-unification and higher-order unification,...  Read More >>

The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the...  Read More >>

The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the...  Read More >>

 Read More >>

Neu hinzugekommen sind eine ausführliche Beschreibung des neuen Caché Studio mit seinen umfassenden Verbesserungen...  Read More >>

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned...  Read More >>

They haveestablished fundamental results on elementary theories, model theory, the theory of algorithms, field...  Read More >>

fEt moi, ...sifavait sucommenten rcvenir, One service mathematics has rendered the jen'yseraispointall,,: human...  Read More >>

This monograph covers a method of parallel computing which uses VLSI technology in an efficient manner: data are...  Read More >>

Efficient deterministic parsing algorithms have been developed for parsing programming languages, and quite different...  Read More >>

The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on...  Read More >>

The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the...  Read More >>

Constraint and Integer Programming presents some of the basic ideas of constraint programming and mathematical programming,...  Read More >>

 Read More >>

After six years, a new the new vistas edition of this textbook must therefore take into account some of that have...  Read More >>

Modeling and Simulation of High Speed VLSI Interconnects brings together in one place important contributions and...  Read More >>

Such new branches of information system science as mobile information systems, multimedia informa­ tion systems,...  Read More >>

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification,...  Read More >>

Field-Programmable Gate Arrays (FPGAs) have emerged as an attractive means of implementing logic circuits, providing...  Read More >>

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name...  Read More >>

Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan...  Read More >>