Mathematical theory of computation books

Overview and Goals Data arriving in time order (a data stream) arises in fields ranging from physics to finance...  Read More >>

Our aim was to write a book on the CE method which was accessible to advanced undergraduate students and engineers...  Read More >>

After a long period of research, development, test and trial, relational database management systems are at last...  Read More >>

The theme is conceptual data base design (specification), and the work has been going on for a number of years,...  Read More >>

Ap­ plying these three abstraction steps to attribute grammars with synthesized attributes only, to denotational...  Read More >>

This result was already included in our Volume II, but we feel that due to the basic nature of the result, it belongs...  Read More >>

3: Multi-dimensional Searching and Computational G- metry (chapters VII and VIII) Volumes 2 and 3 have volume 1...  Read More >>

User models have recently attracted much research interest in the field of artificial intelligence dialog systems....  Read More >>

This book presents a selection of subjects which the authors deem to be important for information systems engineers....  Read More >>

Graph Data Model (GDM) proposed by the author formalizes data representation and operations on the data in terms...  Read More >>

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode...  Read More >>

Aufgabe und Ziel dieser Vorlesung war und ist es, eine Einführung und einen Überblick über Aufbau und Arbeitsweise...  Read More >>

In the late forties, Mathematical Programming became a scientific discipline in its own right. Since then it has...  Read More >>

Ginsberg's program fared poorly in the 1997 Bridge championships, but Ginsberg himself reports very promising results...  Read More >>

Recent Advances in Numerical Methods features contributions from distinguished researchers focused on significant...  Read More >>

Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition...  Read More >>

At least four research fields detennine the theoretical background of specification and deduction in computer science:...  Read More >>

The idea for this book came from the time the authors spent at the Statistics and Applied Mathematical Sciences...  Read More >>

They are organized in topical sections on computational economics and finance, computational statistics, mobile...  Read More >>

This book constitutes the refereed proceedings of the 7th Asia Information Retrieval Societies Conference AIRS 2011,...  Read More >>

This book constitutes the revised selected papers of the 37th International Workshop on Graph-Theoretic Concepts...  Read More >>

This book constitutes the refereed proceedings of the 15th International Conference on Principles of Distributed...  Read More >>

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions...  Read More >>

This volume constitutes the refereed proceedings of the Third IFIP WG 5.4. Working Conference on Computer Aided...  Read More >>

Computers pose a great ch- lenge to mathematical sciences, as the range of phenomena available for rigorous mathematical...  Read More >>