Mathematical theory of computation books

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica...  Read More >>

Im Jahre 1611 gab der Astronom Johannes Kepler die einleuchtende Antwort: genau so, wie Gemüsehändler Orangen und...  Read More >>

This book constitutes the refereed proceedings of the InternationalConference on Logic, Information, Control and...  Read More >>

The major objective of this seminar was to look into conceptual modeling from a historical perspective with a view...  Read More >>

This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and...  Read More >>

Mesh Free Methods, Moving Beyond the Finite Element Method d by GR Liu (2002) provides a systematic discussion on...  Read More >>

Das Buch konzentriert sich in fünf Kapiteln auf die grundlegenden algebraischen Strukturen Gruppe, Ring und Körper...  Read More >>

Sie bietet somit einen ausgezeichneten Überblick über die beiden wichtigen Themen Mustererkennung/Signalverarbeitung...  Read More >>

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software...  Read More >>

 Read More >>

Discretization methods have been proposed which are more flexible and which have the potential of capturing (moving)...  Read More >>

This is, among other things, reflected in the names of the two former conference series (the so- ware product line...  Read More >>

In this book, the methodology of dynamical systems theory is applied to investigate the physics of the global ocean...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2011, CT-RSA 2011,...  Read More >>

This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation...  Read More >>

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

 Read More >>

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs...  Read More >>

Discrete event simulation and agent-based modeling are increasingly recognized as critical for diagnosing and solving...  Read More >>

Discusses the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on...  Read More >>

They cover a wide range of topics such as monte-carlo tree search, proof-number search, UCT algorithm, scalability,...  Read More >>

This volume constitutes the refereed proceedings of the 18thInternational Symposium on Graph Drawing, GD 2010, held...  Read More >>

This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the...  Read More >>