Mathematical theory of computation books

Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science,...  Read More >>

Combinations of algorithms can further improve the robustness and performance of the individual components provided...  Read More >>

This book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless...  Read More >>

They cover the theory that is a compositional semantics for CHR and ?nally describe e?cient implementations of CHR...  Read More >>

Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation,...  Read More >>

This comprehensive, encyclopedic text provides the reader - from the graduate student to the researcher/practitioner...  Read More >>

Working with exponential family representations, and exploiting the conjugate duality between the cumulant function...  Read More >>

 Read More >>

This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS...  Read More >>

These activities aligns well with the activities of HLRS in the European HPC infrastructure project DEISA (Distributed...  Read More >>

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International...  Read More >>

Inthesummerof2008,reinforcementlearningresearchersfromaroundtheworld gathered in the north of France for a week...  Read More >>

This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European...  Read More >>

Genetic Programming Theory and Practice VI was developed from the sixth workshop at the University of Michigan’s...  Read More >>

The Primality Testing Problem (PTP) has now proved to be solvable in deterministic polynomial-time (P) by the AKS...  Read More >>

” Aravind Joshi provided an overview of current natural language processing research in discourse analysis in the...  Read More >>

The papers are organized in topical sections on market equilibrium, congestion games, information markets, nash...  Read More >>

In the past, it was held in Tokyo (1990), Taipei (1991), Nagoya (1992), Hong Kong (1993), Beijing (1994), Cairns...  Read More >>

Keeping the main topics of the previous AMEE conferences as well as the big success of AMEE'07, this 34th issue...  Read More >>

 Read More >>

Dieses Buch liefert einen Beitrag zur Integration von Informationen aus verschiedenen Datenquellen. Ein Algorithmus...  Read More >>

With this book, he makes two major contributions to the field of information retrieval: first, a new way to look...  Read More >>

 Read More >>

This volume in the Springer Lecture Notes in Computer Science (LNCS) series contains 98 papers presented at the...  Read More >>

PRIMA 2008 was the 11th in a series of conferences gathering researchers - voted to developing intelligent agents...  Read More >>