Mathematical theory of computation books

This book presents a modular and expandable technique in the rapidly emerging research area of automatic configuration...  Read More >>

 Read More >>

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

This book constitutes the proceedings of the 22nd International Symposium on Graph Drawing, GD 2014, held in Würzburg,...  Read More >>

The papers have been organized in topical sections on Boolean functions, perfect sequences, correlation of arrays,...  Read More >>

Automata, Universality, Computation  Read More >>

The calculation of channel capacities was one of Rudolf Ahlswede's specialties and is the main topic of this second...  Read More >>

The Fortran 2003 Handbook is a definitive and comprehensive guide to Fortran 2003 and its use.  Read More >>

In real electronic systems, voltage and current signals are not necessarily of a periodical quantity, due to the...  Read More >>

The intent of this chapter is to outline a distinctive way of thinking about issues of technology and society that...  Read More >>

 Read More >>

The purpose of Handbook of Social Network Technologies and Applications is to provide comprehensive guidelines on...  Read More >>

Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline...  Read More >>

Learning spaces offer a rigorous mathematical foundation for practical systems of educational technology. Learning...  Read More >>

The new age hard- and software enables the development of conflict management databases with many variables, sometimes...  Read More >>

 Read More >>

The book is based on lectures at the University of Bergen, Norway.Over the years these lectures have covered many...  Read More >>

This volume contains 27 contributions to the Forth Russian-German Advanced Research Workshop on Computational Science...  Read More >>

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their...  Read More >>

Betriebliches Informations- und Wissensmanagement steht zunehmend vor der Herausforderung verteilte Datenbestände...  Read More >>

 Read More >>

The present work is focused on the mathematical and computational t- ory behind a technique for deformable image...  Read More >>

Such applications include the randomness of finite objects or infinite sequences, Martin-Loef tests for randomness,...  Read More >>

 Read More >>

Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and...  Read More >>