Mathematical theory of computation books

11071 books were found.

Elements of Automata Theory

Elements of Automata Theory
Author: Jacques Sakarovitch (Centre National de la Recherche Scientifique (CNRS), Paris) , Reuben Thomas ISBN: 9781139195218 Format: Undefined	$435.60
A treatise on finite automata theory that both gives a rigorous account and illuminates its real meaning. The first... Read More >>

Towards Intelligent Modeling: Statistical Approximation Theory

Towards Intelligent Modeling: Statistical Approximation...
Author: George A. Anastassiou , Oktay Duman ISBN: 9783642268175 Format: Paperback	$290.37
Read More >>

On the Achievable Rate of Stationary Fading Channels

On the Achievable Rate of Stationary Fading Channels...
Author: Meik Dörpinghaus ISBN: 9783642268465 Format: Paperback	$290.37
This volume discusses various aspects of the capacity/achievable data rate of stationary Rayleigh fading channels,... Read More >>

Hybrid Random Fields: A Scalable Approach to Structure and Parameter Learning in Probabilistic Graphical Models

Hybrid Random Fields: A Scalable Approach to Structure...
Author: Antonino Freno , Edmondo Trentin ISBN: 9783642268182 Format: Paperback	$290.37
Read More >>

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Automata, Languages, and Programming: 40th International...
Author: Fedor V. Fomin , Rusins Freivalds ISBN: 9783642392115 Format: Paperback	$116.41
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium... Read More >>

Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II

Advances in Neural Networks- ISNN 2013: 10th International...
Author: Chengan Guo , Zeng-Guang Hou ISBN: 9783642390678 Format: Paperback	$145.17
The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on... Read More >>

Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Algorithms and Data Structures: 13th International Symposium,...
Author: Frank Dehne , Roberto Solis-Oba ISBN: 9783642401039 Format: Paperback	$145.17
The Algorithms and Data Structures Symposium - WADS (formerly ""Workshop on Algorithms and Data Structures"") is... Read More >>

Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I

Advances in Neural Networks- ISNN 2013: 10th International...
Author: Chengan Guo , Zeng-Guang Hou ISBN: 9783642390647 Format: Paperback	$145.17
The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on... Read More >>

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Automata, Languages, and Programming: 40th International...
Author: Fedor V. Fomin , Rusins Freivalds ISBN: 9783642392054 Format: Paperback	$145.17
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium... Read More >>

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Theoretical Aspects of Computing -- ICTAC 2013: 10th...
Author: Zhiming Liu , Jim Woodcock ISBN: 9783642397172 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing,... Read More >>

Domain Decomposition Methods in Science and Engineering XX

Domain Decomposition Methods in Science and Engineering...
Author: Randolph Bank , Michael Holst ISBN: 9783642352744 Format: Hardback	$448.77
Domain decomposition methods are iterative methods for solving the often very large linearor nonlinear systems of... Read More >>

Probability Models

Probability Models
Author: John Haigh ISBN: 9781447153429 Format: Paperback	$100.29
Motivation comes from everyday experiences of probability, such as that of a dice or cards, the idea of fairness... Read More >>

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Computer Aided Verification: 25th International Conference,...
Author: Natasha Sharygina , Helmut Veith ISBN: 9783642397981 Format: Paperback	$232.85
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided... Read More >>

Codes, Systems, and Graphical Models

Codes, Systems, and Graphical Models
Author: Brian Marcus , Joachim Rosenthal ISBN: 9781461265344 Format: Paperback	$145.17
A major new theme in this area of research is that of codes and systems based on graphical models. This volume contains... Read More >>

Bounded Queries in Recursion Theory

Bounded Queries in Recursion Theory
Author: William Levine , Georgia Martin ISBN: 9781461268482 Format: Paperback	$290.37
The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the... Read More >>

Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Formal Grammar: 17th and 18th International Conferences,...
Author: Glyn Morrill , Mark-Jan Nederhof ISBN: 9783642399978 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012... Read More >>

Engineering Psychology and Cognitive Ergonomics. Applications and Services: 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics. Applications...
Author: Don Harris ISBN: 9783642393532 Format: Paperback	$116.41
This two-volume set (LNAI 8019 and LNAI 8020) constitutes the refereed proceedings of the 10th International Conference... Read More >>

The Argument of Mathematics

The Argument of Mathematics
Author: Andrew Aberdein , Ian J Dove ISBN: 9789400765337 Format: Hardback	$290.37
The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places... Read More >>

Design, User Experience, and Usability: User Experience in Novel Technological Environments: Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

Design, User Experience, and Usability: User Experience...
Author: Aaron Marcus ISBN: 9783642392375 Format: Paperback	$145.17
Read More >>

Human Interface and the Management of Information: Information and Interaction for Learning, Culture, Collaboration and Business, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

Human Interface and the Management of Information: Information...
Author: Sakae Yamamoto ISBN: 9783642392252 Format: Paperback	$116.41
The three-volume set LNCS 8016, 8017, and 8018 constitutes the refereed proceedings of the 15th International Conference... Read More >>

Distributed, Ambient, and Pervasive Interactions: First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

Distributed, Ambient, and Pervasive Interactions: First...
Author: Norbert Streitz , Constantine Stephanidis ISBN: 9783642393501 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive... Read More >>

Reasoning Web. Semantic Technologies for Intelligent Data Access: 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings

Reasoning Web. Semantic Technologies for Intelligent...
Author: Sebastian Rudolph , Georg Gottlob ISBN: 9783642397837 Format: Paperback	$131.97
Read More >>

Biomimetic and Biohybrid Systems: Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings

Biomimetic and Biohybrid Systems: Second International...
Author: Nathan F. Lepora , Anna Mura ISBN: 9783642398018 Format: Paperback	$116.41
The papers are targeted at the intersection of research on novel live-like technologies inspired by scientific investigation... Read More >>

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition: 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Engineering Psychology and Cognitive Ergonomics. Understanding...
Author: Don Harris ISBN: 9783642393594 Format: Paperback	$116.41
This two-volume set (LNAI 8019 and LNAI 8020) constitutes the refereed proceedings of the 10th International Conference... Read More >>

Numerical Solution of Integral Equations

Numerical Solution of Integral Equations
Author: Michael A. Golberg ISBN: 9781489925954 Format: Paperback	$448.77
In 1979, I edited Volume 18 in this series: Solution Methods for Integral Equations: Theory and Applications. For... Read More >>

Page 229 of 443 ... 224 225 226 227 228 229 230 231 232 233 ...

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