Mathematical theory of computation books

The goal of this book is to present a framework within which the myriad of office technologies and office systems...  Read More >>

The topic of logic programming and databases. thus we present a careful introduction to the new language Datalog,...  Read More >>

J.UCS is the electronic journal that covers all areas of computer science. Uniform citation of papers is guaranteed...  Read More >>

In the two and a half years since the frrst edition of this book was published, the field of logic programming has...  Read More >>

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog...  Read More >>

Design of System on a Chip is the first of two volumes addressing the design challenges associated with new generations...  Read More >>

Special attention is paid to terms which most often prevent educated readers from understanding journal articles...  Read More >>

Addresses the design of real-time applications implemented using distributed heterogeneous architectures. This work...  Read More >>

Logic functions and equations are (some of) the most important concepts of Computer Science with many applications...  Read More >>

Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI,...  Read More >>

Reflecting the topics and interests within the theoretical computer science community, this book is presented in...  Read More >>

A guide to self-testing strategies for embedded processors. This book emphasizes on Software-Based Self-Testing,...  Read More >>

Hence, the different source code trans­ formations developed here lead to impressive performance improvements on...  Read More >>

Pattern recognition and arti?cial intelligence were the origins of the explorationofthespace ofimages.Simplistic...  Read More >>

Created to teach students many of the most important techniques used for constructing combinatorial designs, this...  Read More >>

Regaining the original signal from these samples or assessing the information lost in the sampling process are the...  Read More >>

Computer science seeks to provide a scientific basis for the study of inform a­ tion processing, the solution of...  Read More >>

Proceedings of the NATO Advanced Study Institute on Numerical Linear Algebra, Digital Signal Processing and Parallel...  Read More >>

Prototyping is an approach used in evolutionary systemdevelopment. Theytake a look at the tools used in everyday...  Read More >>

To our families The formal language theory was born in the middle of our century as a tool for modelling and investigating...  Read More >>

This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite...  Read More >>

This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European...  Read More >>

Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures...  Read More >>

Proceedings of the NATO Advanced Study Institute, Braunlage, Harz, Germany, July 26-August 6, 1982  Read More >>

More mathematicians have been taking part in the development of digital image processing as a science and the contributions...  Read More >>