Mathematical theory of computation books

11092 books were found.

Applied Informatics and Communication, Part I: International Conference, ICAIC 2011, Xi'an,China, August 20-21, 2011, Proceedings, Part I

Applied Informatics and Communication, Part I: International...
Author: Dehuai Zheng ISBN: 9783642232138 Format: Paperback	$377.52
The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied... Read More >>

Applied Informatics and Communication, Part II: International Conference, ICAIC 2011, Xi'an China, August 20-21. 2011, Proceedings, Part II

Applied Informatics and Communication, Part II: International...
Author: Dehuai Zeng ISBN: 9783642232190 Format: Paperback	$377.52
The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied... Read More >>

Applied Informatics and Communication, Part III: International Conference, ICAIC 2011, Xi'an China, August 20-21, 2011, Proceedings, Part III

Applied Informatics and Communication, Part III: International...
Author: Jianwei Zhang ISBN: 9783642232343 Format: Paperback	$377.52
The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied... Read More >>

Applied Informatics and Communication, Part V: Intternational Conference, ICAIC 2011, Xi'an, China, August 20-21, 2011, Proceedings, Part V

Applied Informatics and Communication, Part V: Intternational...
Author: Jun Zhang ISBN: 9783642232220 Format: Paperback	$377.52
The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied... Read More >>

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Interactive Theorem Proving: Second International Conference,...
Author: Marko Van Eekelen , Herman Geuvers ISBN: 9783642228629 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving,... Read More >>

Exploratory Data Analysis Using Fisher Information

Exploratory Data Analysis Using Fisher Information
Author: Roy Frieden , Robert A. Gatenby ISBN: 9781849966153 Format: Paperback	$340.56
""Sustainability"" is often used in a qualitative sense. Sustainability therefore incorporates both concern for... Read More >>

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers

Knowledge Processing and Data Analysis: First International...
Author: Karl Erich Wolff , Dmitry E. Palchunov ISBN: 9783642221392 Format: Paperback	$219.12
This book constitutes the proceedings of the First International Conference on Knowledge - Ontology - Theory (KONT... Read More >>

R for SAS and SPSS Users

R for SAS and SPSS Users
Author: Robert A. Muenchen ISBN: 9781461406846 Format: Hardback	$261.36
Read More >>

Possibility for Decision: A Possibilistic Approach to Real Life Decisions

Possibility for Decision: A Possibilistic Approach to...
Author: Christer Carlsson , Robert Fuller ISBN: 9783642226410 Format: Hardback	$340.56
Starting with the basic concepts of fuzzy sets, and progressing through a normative view on possibility distributions... Read More >>

Validated Numerics: A Short Introduction to Rigorous Computations

Validated Numerics: A Short Introduction to Rigorous...
Author: Warwick Tucker ISBN: 9780691147819 Format: Hardback	$69.00
Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the... Read More >>

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Logic and Games on Automatic Structures: Playing with...
Author: Lukasz Kaiser ISBN: 9783642228063 Format: Paperback	$190.08
In this book, the author extends this connection between logic and games to the class of automatic structures, where... Read More >>

Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings

Hybrid Learning: 4th International Conference, ICHL...
Author: Reggie Kwan , Joseph Fong ISBN: 9783642227622 Format: Paperback	$219.12
The topics covered are practices in borderless education, pedagogical issues and practice, organizational frameworks... Read More >>

Combinatorial Optimization and Applications: 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings

Combinatorial Optimization and Applications: 5th International...
Author: Weifan Wang , Xuding Zhu ISBN: 9783642226151 Format: Paperback	$282.48
This book constitutes the refereed proceedings of the 5th International Conference on Combinatorial Optimization... Read More >>

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Artificial General Intelligence: 4th International Conference,...
Author: Jürgen Schmidhuber , Kristinn R. Thorisson ISBN: 9783642228865 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 4th International Conference on Artificial General Intelligence,... Read More >>

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Intelligent Computer Mathematics: 18th Symposium, Calculemus...
Author: James H. Davenport , William M. Farmer ISBN: 9783642226724 Format: Paperback	$145.17
Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration... Read More >>

Conceptual Structures for Discovering Knowledge: 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings

Conceptual Structures for Discovering Knowledge: 19th...
Author: Simon Andrews , Simon Polovina ISBN: 9783642226878 Format: Paperback	$145.17
This book constitutes the proceedings of the 19th International Conference on Conceptual Structures, ICCS 2011,... Read More >>

Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

Logic, Language, and Computation: 8th International...
Author: Nick Bezhanishvili , Sebastian Löbner ISBN: 9783642223020 Format: Paperback	$219.12
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the... Read More >>

Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Algorithms and Data Structures: 12th International Symposium,...
Author: Frank Dehne , John Iacono ISBN: 9783642222993 Format: Paperback	$345.84
The Algorithms and Data Structures Symposium - WADS (formerly ""Workshop on Algorithms and Data Structures"") is... Read More >>

Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Descriptional Complexity of Formal Systems: 13 International...
Author: Markus Holzer , Martin Kutrib ISBN: 9783642225994 Format: Paperback	$219.12
This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of... Read More >>

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized...
Author: Jacob T. Schwartz , Domenico Cantone ISBN: 9780857298072 Format: Hardback	$237.47
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating... Read More >>

An Introduction to Modern Mathematical Computing: With Maple™

An Introduction to Modern Mathematical Computing: With...
Author: Jonathan M. Borwein , Matthew P. Skerritt ISBN: 9781461401216 Format: Hardback	$158.27
Read More >>

Viability Theory: New Directions

Viability Theory: New Directions
Author: Jean-Pierre Aubin , Alexandre M. Bayen ISBN: 9783662495858 Format: Paperback	$646.85
Read More >>

Portfolio Choice Problems: An Introductory Survey of Single and Multiperiod Models

Portfolio Choice Problems: An Introductory Survey of...
Author: Nicolas Chapados ISBN: 9781461405764 Format: Paperback	$105.47
Read More >>

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings

Functional and Constraint Logic Programming: 20th International...
Author: Herbert Kuchen ISBN: 9783642225307 Format: Paperback	$190.08
Constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint... Read More >>

Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

Development in Language Theory: 15th International Conference,...
Author: Giancarlo Mauri , Alberto Leporati ISBN: 9783642223204 Format: Paperback	$250.80
This book constitutes the refereed proceedings of the 15th International Conference on Developments in Language... Read More >>

Page 283 of 444 ... 278 279 280 281 282 283 284 285 286 287 ...

Sub Categories for

Mathematical theory of computation

Maths for computer scientists

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now