Mathematical theory of computation books

11069 books were found.

KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings

KI 2014: Advances in Artificial Intelligence: 37th Annual...
Author: Carsten Lutz , Michael Thielscher ISBN: 9783319112053 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence,... Read More >>

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering: 16th International...
Author: Stephan Merz , Jun Pang ISBN: 9783319117362 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods,... Read More >>

Advances in Swarm Intelligence: 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I

Advances in Swarm Intelligence: 5th International Conference,...
Author: Ying Tan , Yuhui Shi ISBN: 9783319118567 Format: Paperback	$145.17
The papers are organized in 18 cohesive sections, 3 special sessions and one competitive session covering all major... Read More >>

Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Software Language Engineering: 7th International Conference,...
Author: Benoit Combemale , David Pearce ISBN: 9783319112442 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering,... Read More >>

Advances in Swarm Intelligence: 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II

Advances in Swarm Intelligence: 5th International Conference,...
Author: Ying Tan , Yuhui Shi ISBN: 9783319118963 Format: Paperback	$145.17
The papers are organized in 18 cohesive sections, 3 special sessions and one competitive session covering all major... Read More >>

Rationale Management in Software Engineering

Rationale Management in Software Engineering
Author: Allen H. Dutoit , Raymond McCall ISBN: 9783642068164 Format: Paperback	$366.96
Read More >>

Deformable Models: Biomedical and Clinical Applications

Deformable Models: Biomedical and Clinical Applications...
Author: Aly Farag ISBN: 9781489997067 Format: Paperback	$580.77
In the biomedical field, biomedical imaging has come to be a discipline of its own, given the nature of its applications... Read More >>

Guide to Fortran 2003 Programming

Guide to Fortran 2003 Programming
Author: Walter S. Brainerd ISBN: 9781447157700 Format: Paperback	$171.57
Experienced Fortran 95 programmers will be able to use this volume to assimilate quickly those f- tures in Fortran... Read More >>

Ordering Block Designs: Gray Codes, Universal Cycles and Configuration Orderings

Ordering Block Designs: Gray Codes, Universal Cycles...
Author: Megan Dewar , Brett Stevens ISBN: 9781493901654 Format: Paperback	$184.67
The study of combinatorial block designs is a vibrant area of combinatorial mathematics with connections to finite... Read More >>

Towards Advanced Data Analysis by Combining Soft Computing and Statistics

Towards Advanced Data Analysis by Combining Soft Computing...
Author: Christian Borgelt , María Ángeles Gil ISBN: 9783642443749 Format: Paperback	$448.77
Soft computing, as an engineering science, and statistics, as a classical branch of mathematics, emphasize different... Read More >>

Intelligent Information Processing VI: 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012, Proceedings

Intelligent Information Processing VI: 7th IFIP TC 12...
Author: Zhongzhi Shi , David Leake ISBN: 9783642447297 Format: Paperback	$290.37
This book constitutes the refereed proceedings of the 7th IFIP TC 12 International Conference on Intelligent Information... Read More >>

Information from Processes: About the Nature of Information Creation, Use, and Representation

Information from Processes: About the Nature of Information...
Author: Robert M. Losee ISBN: 9783642429682 Format: Paperback	$145.17
Read More >>

Uncertainty Quantification in Scientific Computing: 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Uncertainty Quantification in Scientific Computing:...
Author: Andrew Dienstfrey , Ronald Boisvert ISBN: 9783642432934 Format: Paperback	$145.17
They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ... Read More >>

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba...
Author: V.S. Subrahmanian , Aaron Mannes ISBN: 9781489992635 Format: Paperback	$263.97
Read More >>

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Integrated Formal Methods: 11th International Conference,...
Author: Elvira Albert , Emil Sekerinski ISBN: 9783319101804 Format: Paperback	$145.17
Read More >>

Practical Analysis of Algorithms

Practical Analysis of Algorithms
Author: Dana Vrajitoru , William Knight ISBN: 9783319098876 Format: Paperback	$158.37
Read More >>

Transactions on Rough Sets XVIII

Transactions on Rough Sets XVIII
Author: James F. Peters , Andrzej Skowron ISBN: 9783662446799 Format: Paperback	$118.77
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from... Read More >>

Self-Organizing Natural Intelligence: Issues of Knowing, Meaning, and Complexity

Self-Organizing Natural Intelligence: Issues of Knowing,...
Author: Myrna Estep ISBN: 9789400790568 Format: Paperback	$290.37
Self-Organizing Natural Intelligence brings new scientific methods to intelligence research that is currently under... Read More >>

Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Stabilization, Safety, and Security of Distributed Systems:...
Author: Pascal Felber , Vijay Garg ISBN: 9783319117638 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security... Read More >>

System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability:...
Author: Daniel Amyot , Pau Fonseca i Casas ISBN: 9783319117423 Format: Paperback	$145.17
This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis... Read More >>

Multi-Step Multi-Input One-Way Quantum Information Processing with Spatial and Temporal Modes of Light

Multi-Step Multi-Input One-Way Quantum Information Processing...
Author: Ryuji Ukai ISBN: 9784431550181 Format: Hardback	$290.37
In this thesis, the author develops for the first time an implementation methodology for arbitrary Gaussian operations... Read More >>

Translational Recurrences: From Mathematical Theory to Real-World Applications

Translational Recurrences: From Mathematical Theory...
Author: Norbert Marwan , Michael Riley ISBN: 9783319095301 Format: Hardback	$290.37
This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013... Read More >>

Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Logics in Artificial Intelligence: 14th European Conference,...
Author: Eduardo Fermé , Joao Leite ISBN: 9783319115573 Format: Paperback	$116.41
This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA... Read More >>

DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

DNA Computing and Molecular Programming: 20th International...
Author: Satoshi Murata , Satoshi Kobayashi ISBN: 9783319112947 Format: Paperback	$118.77
This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular... 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: 9781447160182 Format: Paperback	$145.17
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating... Read More >>

Page 207 of 443 ... 202 203 204 205 206 207 208 209 210 211 ...

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