Mathematical theory of computation books

These proceedings contain the papers selected for presentation at the 13th European Symposium on Research in Computer...  Read More >>

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics,...  Read More >>

The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational...  Read More >>

This book provides a comprehensive study of complexity results and optimal and suboptimal algorithms concerning...  Read More >>

 Read More >>

The 2008 TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on...  Read More >>

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and...  Read More >>

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence,...  Read More >>

Constitutes the refereed proceedings of the Second International Conference on Scalable Uncertainty Management,...  Read More >>

Since its establishment in 1998, Microsoft Research Asia’s trademark and long term commitment has been to foster...  Read More >>

This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held...  Read More >>

 Read More >>

The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering,...  Read More >>

Quantum computation, one of the latest joint ventures between physics and the theory of computation, is a scientific...  Read More >>

Constitutes the proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing,...  Read More >>

The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field...  Read More >>

Petri Netze sind das am besten untersuchte Modell f�r parallele Rechnungen und Stellen/Transitionennetze. In diesem...  Read More >>

First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings  Read More >>

Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred...  Read More >>

The topics of the papers presented vary from theoretical results of learning algorithms to innovative applications...  Read More >>

The series of biannual international conferences “ANTS – International C- ference on Ant Colony Optimization and...  Read More >>

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory...  Read More >>

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in...  Read More >>

The papers address all aspects of distributed computing, including the theory, design, implementation and applications...  Read More >>

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL...  Read More >>