Mathematical theory of computation books

11103 books were found.

Algorithmic Game Theory: Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings

Algorithmic Game Theory: Second International Symposium,...

Author: Marios Mavronicolas ,  Maria Papadoupoulou
ISBN: 9783642046445
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory,...  Read More >>

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Logic, Rationality, and Interaction: Second International...

Author: Xiangdong He ,  John Horty
ISBN: 9783642048920
Format: Paperback
$219.12

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the...  Read More >>

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Runtime Verification: 9th International Workshop, RV...

Author: Saddek Bensalem ,  Doron A. Peled
ISBN: 9783642046933
Format: Paperback
$190.08

The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime...  Read More >>

Stochastic Methods in Neuroscience

Stochastic Methods in Neuroscience

Author: Carlo Laing (Institute of Information and Mathematical Sciences, Massey University, New Zealand) ,  Gabriel J Lord (Heriot-Watt University, Edinburgh)
ISBN: 9780199235070
Format: Hardback
$189.95

A text for graduates and researchers in computational neuroscience and stochastic systems, concentrating on the...  Read More >>

Applied Shape Optimization for Fluids

Applied Shape Optimization for Fluids

Author: Bijan Mohammadi (, Université de Montpellier II, France) ,  Olivier Pironneau (, Université Paris VI, France)
ISBN: 9780199546909
Format: Hardback
$268.00

This new edition of Applied Shape Optimization for Fluids deals with shape optimization problems for fluids, with...  Read More >>

SDL 2009: Design for Motes and Mobiles: 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

SDL 2009: Design for Motes and Mobiles: 14th International...

Author: Rick Reed ,  Attila Bilgic
ISBN: 9783642045530
Format: Paperback
$190.08

The SDL Forum series addresses issues related to the modelling and analysis of reactive systems, distributed systems,...  Read More >>

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

Formale Modelle der Softwareentwicklung: Model-Checking,...

Author: Stephan Kleuker
ISBN: 9783834806697
Format: Paperback
$105.57

Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung...  Read More >>

Discrete Geometry for Computer Imagery: 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009, Proceedings

Discrete Geometry for Computer Imagery: 15th IAPR International...

Author: Srecko Brlek ,  Christophe Reutenauer
ISBN: 9783642043963
Format: Paperback
$282.48

This book constitutes the refereed proceedings of the 15th IAPR International Conference on Discrete Geometry for...  Read More >>

Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Formal Foundations of Reuse and Domain Engineering:...

Author: Stephen H. Edwards ,  Gregory Kulczycki
ISBN: 9783642042102
Format: Paperback
$219.12

ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present...  Read More >>

Transactions on Computational Systems Biology XI: Computational Models for Cell Processes

Transactions on Computational Systems Biology XI: Computational...

Author: Corrado Priami ,  Ralph-Johan Back
ISBN: 9783642041853
Format: Paperback
$298.32

This issue on Computational Models for Cell Processes is based on a workshop that took place in Turku, Finland,...  Read More >>

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International...

Author: Joel Ouaknine ,  Frits W. Vaandrager
ISBN: 9783642043673
Format: Paperback
$190.08

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis...  Read More >>

Scalable Uncertainty Management: Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings

Scalable Uncertainty Management: Third International...

Author: Lluis Godo ,  Andrea Pugliese
ISBN: 9783642043871
Format: Paperback
$219.12

This volume contains the papers presented at the Third International Conference on Scalable Uncertainty Management,...  Read More >>

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Frontiers of Combining Systems: 7th International Symposium,...

Author: Silvio Ghilardi ,  Roberto Sebastiani
ISBN: 9783642042218
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems,...  Read More >>

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Principles and Practice of Constraint Programming -...

Author: Ian P. Gent
ISBN: 9783642042430
Format: Paperback
$377.52

This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice...  Read More >>

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

Logic Programming and Nonmonotonic Reasoning: 10th International...

Author: Esra Erdem ,  Fangzhen Lin
ISBN: 9783642042379
Format: Paperback
$314.16

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic...  Read More >>

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Reachability Problems: Third International Workshop,...

Author: Olivier Bournez ,  Igor Potapov
ISBN: 9783642044199
Format: Paperback
$190.08

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau,...  Read More >>

Multiscale, Nonlinear and Adaptive Approximation: Dedicated to Wolfgang Dahmen on the Occasion of his 60th Birthday

Multiscale, Nonlinear and Adaptive Approximation: Dedicated...

Author: Ronald DeVore ,  Angela Kunoth
ISBN: 9783642034121
Format: Hardback
$551.76

On the occasion of his 60th birthday in October 2009, friends, collaborators, and admirers of Wolfgang Dahmen have...  Read More >>

Artificial Neural Networks – ICANN 2009: 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I

Artificial Neural Networks – ICANN 2009: 19th International...

Author: Cesare Alippi ,  Marios M. Polycarpou
ISBN: 9783642042737
Format: Paperback
$440.88

The ICANN conference is an annual meeting sp- sored by the European Neural Network Society (ENNS), in cooperation...  Read More >>

Artificial Neural Networks – ICANN 2009: 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II

Artificial Neural Networks – ICANN 2009: 19th International...

Author: Cesare Alippi ,  Marios M. Polycarpou
ISBN: 9783642042768
Format: Paperback
$440.88

The ICANN conference is an annual meeting sp- sored by the European Neural Network Society (ENNS), in cooperation...  Read More >>

Algorithmic Bioprocesses

Algorithmic Bioprocesses

Author: Anne Condon ,  David Harel
ISBN: 9783540888680
Format: Hardback
$472.56

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in...  Read More >>

Software Process Improvement: 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009, Proceedings

Software Process Improvement: 16th European Conference,...

Author: Rory O'Connor ,  Nathan Baddoo
ISBN: 9783642041327
Format: Paperback
$221.76

 Read More >>

Mathematical Methods in Counterterrorism

Mathematical Methods in Counterterrorism

Author: Nasrullah Memon ,  Jonathan David Farley
ISBN: 9783211094419
Format: Hardback
$366.96

 Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List