Mathematical theory of computation books

An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant...  Read More >>

Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications,...  Read More >>

Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan,...  Read More >>

Several papers tend to re?ne the models of genome evolution, and more and more genomic events can be modeled, from...  Read More >>

Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time...  Read More >>

Contains the revised papers presented at the Amsterdam Colloquium 2009, held in Amsterdam, The Netherlands, in December...  Read More >>

This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary...  Read More >>

Constitutes the refereed proceedings of the Third International Symposium on Algorithmic Game Theory, SAGT 2010,...  Read More >>

Constitutes the proceedings of the 5th International Symposium, ISICA 2010, held in Wuhan, China, in October 2010....  Read More >>

Metaheuristics have grown into one of the most prominent areas of operations research. This update of a trailblazing...  Read More >>

Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan,...  Read More >>

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010,...  Read More >>

Constitutes the refereed proceedings of the 21th International Conference on Algorithmic Learning Theory, ALT 2010,...  Read More >>

Constitutes the refereed proceedings of the 7th International Workshop on Hybrid Metaheuristics, HM 2010, held in...  Read More >>

Constitutes the proceedings of the 5th International Conference on Graph Transformations, ICGT 2010, held in Twente,...  Read More >>

This book constitutes the proceedings of the 9th International Conference on Latent Variable Analysis and Signal...  Read More >>

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

Dieses Buch befasst sich mit schweren Problemen auf Graphen, für die es vermutlich keine effizienten Algorithmen...  Read More >>

Lays out the theoretical groundwork for personalized search and reputation management, both on the Web and in peer-to-peer...  Read More >>

This overview of non-homogeneous and multidimensional Poisson point processes and their applications features mathematical...  Read More >>

 Read More >>

Business information systems is a rapidly developing domain. Workshops give researchers the possibility to share...  Read More >>

Suitable for users with interests ranging from application modeling to numerical analysis and scientific software...  Read More >>

– Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and...  Read More >>

Constitutes the refereed proceedings of the 9th International Conference on Cellular Automata for Research and Industry,...  Read More >>