Mathematical theory of computation books

11087 books were found.

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Algebraic Informatics: 4th International Conference,...

Author: Franz Winkler
ISBN: 9783642214929
Format: Paperback
$190.08

This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI...  Read More >>

Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Application and Theory of Petri Nets: 32nd International...

Author: Lars M. Kristensen ,  Laure Petrucci
ISBN: 9783642218330
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of...  Read More >>

Artificial Neural Networks and Machine Learning  - ICANN 2011: 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN...

Author: Timo Honkela ,  Włodzisław Duch
ISBN: 9783642217340
Format: Paperback
$250.80

This two volume set LNCS 6791 and LNCS 6792 constitutes the refereed proceedings of the 21th International Conference...  Read More >>

Mathematics and Computation in Music: Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings

Mathematics and Computation in Music: Third International...

Author: Carlos Agon ,  Emmanuel Amiot
ISBN: 9783642215896
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the Third International Conference on Mathematics and Computation...  Read More >>

Analytical and Stochastic Modeling Techniques and Applications: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings

Analytical and Stochastic Modeling Techniques and Applications:...

Author: Khalid Al-Begain ,  Simonetta Balsamo
ISBN: 9783642217128
Format: Paperback
$219.12

Constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling...  Read More >>

Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Reliable Software Technologies – Ada-Europe 2011: 16th...

Author: Alexander Romanovsky ,  Tullio Vardanega
ISBN: 9783642213373
Format: Paperback
$190.08

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software...  Read More >>

Multiple Classifier Systems: 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings

Multiple Classifier Systems: 10th International Workshop,...

Author: Carlo Sansone ,  Josef Kittler
ISBN: 9783642215568
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 10th International Workshop on Multiple Classifier Systems,...  Read More >>

Pattern Recognition and Machine Intelligence: 4th International Conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011, Proceedings

Pattern Recognition and Machine Intelligence: 4th International...

Author: Sergei O. Kuznetsov ,  Deba P. Mandal
ISBN: 9783642217852
Format: Paperback
$250.80

This book constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine...  Read More >>

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011, Proceedings

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing:...

Author: Sergei O. Kuznetsov ,  Dominik Ślęzak
ISBN: 9783642218804
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 13th International Conference on Rough Sets, Fuzzy Sets, Data...  Read More >>

Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

Logic and Grammar: Essays Dedicated to Alain Lecomte...

Author: Sylvain Pogodalla ,  Myriam Quatrini
ISBN: 9783642214899
Format: Paperback
$190.08

This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November...  Read More >>

Quaternions for Computer Graphics

Quaternions for Computer Graphics

Author: John Vince
ISBN: 9780857297594
Format: Hardback
$184.67

The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major...  Read More >>

Statistics for High-Dimensional Data: Methods, Theory and Applications

Statistics for High-Dimensional Data: Methods, Theory...

Author: Peter Bühlmann ,  Sara van de Geer
ISBN: 9783642201912
Format: Hardback
$261.36

This valuable compendium of statistical methods features a unique combination of methodology, theory, algorithms...  Read More >>

Network Optimization: 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011, Proceedings

Network Optimization: 5th International Conference,...

Author: Julia Pahl ,  Torsten Reiners
ISBN: 9783642215261
Format: Paperback
$314.16

This book constitutes the refereed proceedings of the 5th International Conference on Network Optimization, INOC...  Read More >>

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Formal Methods for Eternal Networked Software Systems:...

Author: Marco Bernardo ,  Valerie Issarny
ISBN: 9783642214547
Format: Paperback
$282.48

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School...  Read More >>

Computer Science – Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

Computer Science – Theory and Applications: 6th International...

Author: Alexander Kulikov ,  Nikolay Vereshchagin
ISBN: 9783642207112
Format: Paperback
$250.80

This book constitutes the proceedings of the 6th International Computer Science Symposium in Russia, CSR 2011, held...  Read More >>

Advances in Self-Organizing Maps: 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings

Advances in Self-Organizing Maps: 8th International...

Author: Jorma Laaksonen ,  Timo Honkela
ISBN: 9783642215650
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 8th International Workshop on Self-Organizing Maps, WSOM 2011,...  Read More >>

Fractional Calculus for Scientists and Engineers

Fractional Calculus for Scientists and Engineers

Author: Manuel Duarte Ortigueira
ISBN: 9789400707467
Format: Hardback
$340.56

This book gives a practical overview of Fractional Calculus as it relates to Signal Processing  Read More >>

Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

Author: Johan Georg Granström
ISBN: 9789400717350
Format: Hardback
$366.96

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal...  Read More >>

Applied Cryptography and Network Security: 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011, Proceedings

Applied Cryptography and Network Security: 9th International...

Author: Javier López ,  Gene Tsudik
ISBN: 9783642215537
Format: Paperback
$282.48

This book constitutes the refereed proceedings of the 9th International Conference on Applied Cryptography and Network...  Read More >>

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Theory and Application of Satisfiability Testing: 14th...

Author: Karem A. Sakallah ,  Laurent Simon
ISBN: 9783642215803
Format: Paperback
$219.12

Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability...  Read More >>

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Unconventional Computation: 10th International Conference,...

Author: Cristian S. Calude ,  Jarkko Kari
ISBN: 9783642213403
Format: Paperback
$190.08

This book constitutes the refereed proceedings of the 10th International Conference on Unconventional Computation,...  Read More >>

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

Coordination Models and Languages: 13th International...

Author: Wolfgang De Meuter ,  Gruia-Catalin Roman
ISBN: 9783642214639
Format: Paperback
$248.16

This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages,...  Read More >>

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Formal Techniques for Distributed Systems: Joint 13th...

Author: Roberto Bruni ,  Juergen Dingel
ISBN: 9783642214608
Format: Paperback
$219.12

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List