Mathematical theory of computation books

11103 books were found.

Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Logic and the Foundations of Game and Decision Theory...

Author: Giacomo Bonanno ,  Benedikt Löwe
ISBN: 9783642151637
Format: Paperback
$190.08

Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory...  Read More >>

Business Process Management: 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings

Business Process Management: 8th International Conference,...

Author: Richard Hull ,  Jan Mendling
ISBN: 9783642156175
Format: Paperback
$219.12

The BPM Conference series has established itself as the premier forum for - searchersintheareaofbusinessprocessmanagementandprocess-awareinfor-...  Read More >>

Algorithms -- ESA 2010, Part II: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Algorithms -- ESA 2010, Part II: 18th Annual European...

Author: Mark de Berg ,  Ulrich Meyer
ISBN: 9783642157806
Format: Paperback
$190.08

Constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September...  Read More >>

Algorithms in Bioinformatics: 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010, Proceedings

Algorithms in Bioinformatics: 10th International Workshop,...

Author: Vincent Moulton ,  Mona Singh
ISBN: 9783642152931
Format: Paperback
$219.12

Constitutes the refereed proceedings of the 10th International Workshop on Algorithms in Bioinformatics, WABI 2010,...  Read More >>

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

Theoretical Computer Science: 6th IFIP WG 2.2 International...

Author: Christian S. Calude ,  Vladimiro Sassone
ISBN: 9783642152399
Format: Hardback
$340.56

Constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, that was held as...  Read More >>

Approximation, Randomization, and Combinatorial  Optimization. Algorithms and Techniques: 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

Approximation, Randomization, and Combinatorial Optimization....

Author: Maria Serna ,  Ronen Shaltiel
ISBN: 9783642153686
Format: Paperback
$345.84

Constitutes the joint refereed proceedings of the 13th International Workshop on Approximation Algorithms for Combinatorial...  Read More >>

Dimension Reduction: A Guided Tour

Dimension Reduction: A Guided Tour

Author: Christopher J.C. Burges
ISBN: 9781601983787
Format: Paperback
$198.00

 Read More >>

Form der wissenschaftlichen Ausarbeitung: Studienarbeit, Diplomarbeit, Dissertation, Konferenzbeitrag

Form der wissenschaftlichen Ausarbeitung: Studienarbeit,...

Author: Tilo Gockel
ISBN: 9783642139062
Format: Paperback
$52.67

Absolut praxisnah und immer eher mit einem zwinkernden Auge, statt mit dem erhobenen Zeigefinger beantwortet der...  Read More >>

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II

Euro-Par 2010 - Parallel Processing: 16th International...

Author: Pasqua D'Ambra ,  Mario Guarracino
ISBN: 9783642152900
Format: Paperback
$282.48

Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September...  Read More >>

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings

CONCUR 2010 - Concurrency Theory: 21th International...

Author: Paul Gastin ,  Francois Laroussinie
ISBN: 9783642153747
Format: Paperback
$314.16

Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held...  Read More >>

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September  3, 2010, Proceedings, Part I

Euro-Par 2010 - Parallel Processing: 16th International...

Author: Pasqua D'Ambra ,  Mario Guarracino
ISBN: 9783642152764
Format: Paperback
$314.16

Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September...  Read More >>

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Computer Algebra in Scientific Computing: 12th International...

Author: Vladimir P. Gerdt ,  Wolfram Koepf
ISBN: 9783642152733
Format: Paperback
$219.12

The 11 earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, CASC...  Read More >>

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Reachability Problems: 4th International Workshop, RP...

Author: Antonin Kucera ,  Igor Potapov
ISBN: 9783642153488
Format: Paperback
$190.08

Constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic,...  Read More >>

Probabilistic Methods for Algorithmic Discrete Mathematics

Probabilistic Methods for Algorithmic Discrete Mathematics...

Author: Michel Habib ,  Colin McDiarmid
ISBN: 9783642084263
Format: Paperback
$514.80

Some of the most convincing demonstrations of the power of these tech­ niques are randomized algorithms for estimating...  Read More >>

History of Computing: Learning from the Past: IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane,  Australia, September 20-23, 2010, Proceedings

History of Computing: Learning from the Past: IFIP WG...

Author: Arthur Tatnall
ISBN: 9783642151989
Format: Hardback
$287.76

History of Computing: Learning from the Past Why is the history of computing important? It is arguable whether there...  Read More >>

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Computer Science Logic: 24th International Workshop,...

Author: Anuj Dawar ,  Helmut Veith
ISBN: 9783642152047
Format: Paperback
$282.48

Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held...  Read More >>

From Animals to Animats 11: 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings

From Animals to Animats 11: 11th International Conference...

Author: Stephane Doncieux ,  Benoit Girard
ISBN: 9783642151927
Format: Paperback
$314.16

Constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB...  Read More >>

Robot Learning

Robot Learning

Author: Suraiya Jabin
ISBN: 9789533071046
Format: Hardback
$307.91

 Read More >>

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Theoretical Aspects of Computing: 7th International...

Author: Ana Cavalcanti ,  David Deharbe
ISBN: 9783642148071
Format: Paperback
$219.12

Constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC...  Read More >>

Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

Software Architecture: 4th European Conference , ECSA...

Author: Muhammad Ali Babar ,  Ian Gorton
ISBN: 9783642151132
Format: Paperback
$282.48

Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering...  Read More >>

Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings

Mathematical Foundations of Computer Science 2010: 35th...

Author: Petr Hlineny ,  Antonin Kucera
ISBN: 9783642151545
Format: Paperback
$345.84

Constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer...  Read More >>

Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System

Queueing Theory for Telecommunications: Discrete Time...

Author: Attahiru Sule Alfa
ISBN: 9781441973139
Format: Hardback
$261.36

However, the most prevalent applications of queueing theory are in the telecommunications field. Queueing Theory...  Read More >>

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems...

Author: Mehdi Dastani ,  Koen V. Hindriks
ISBN: 9781441969835
Format: Hardback
$340.56

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification...  Read More >>

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to...

Author: Andreas Blass ,  Nachum Dershowitz
ISBN: 9783642150241
Format: Paperback
$314.16

To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event...  Read More >>

Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice

Algorithm Engineering: Bridging the Gap Between Algorithm...

Author: Matthias Müller-Hannemann ,  Stefan Schirra
ISBN: 9783642148651
Format: Paperback
$282.48

However, advancements in computer hardware, which render traditional computer models more and more unrealistic,...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List