Mathematical theory of computation books

11071 books were found.

Advances in Artificial Intelligence: 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, September 17-20, 2013, Proceedings

Advances in Artificial Intelligence: 15th Conference...
Author: Concha Bielza , Antonio Salmerón ISBN: 9783642406423 Format: Paperback	$116.41
The papers are organized in topical sections on Constraints, search and planning, intelligent Web and information... Read More >>

Discrete and Combinatorial Mathematics: Pearson New International Edition

Discrete and Combinatorial Mathematics: Pearson New...
Author: Ralph Grimaldi , Ralph Grimaldi ISBN: 9781292022796 Format: Paperback	$199.21
This fifth edition continues to improve on the features that have made it the market leader. The text offers a flexible... Read More >>

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method:...
Author: Shaoying Liu ISBN: 9783642392764 Format: Paperback	$103.47
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on... Read More >>

Transactions on Petri Nets and Other Models of Concurrency VIII

Transactions on Petri Nets and Other Models of Concurrency...
Author: Maciej Koutny , Wil M. P. van der Aalst ISBN: 9783642404641 Format: Paperback	$145.17
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented... Read More >>

Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Algorithms – ESA 2013: 21st Annual European Symposium,...
Author: Hans L. Bodlaender , Giuseppe F. Italiano ISBN: 9783642404498 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held... Read More >>

Parallel Computing Technologies: 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings

Parallel Computing Technologies: 12th International...
Author: Victor Malyshkin ISBN: 9783642399572 Format: Paperback	$145.17
This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT... Read More >>

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science: A Study on Extensions of...
Author: Fabio Mogavero ISBN: 9789491216947 Format: Hardback	$145.17
Read More >>

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Logic, Language, Information, and Computation: 20th...
Author: Leonid Libkin , Ulrich Kohlenbach ISBN: 9783642399916 Format: Paperback	$103.47
Read More >>

Spatial and Temporal Databases: 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013, Proceedings

Spatial and Temporal Databases: 13th International Symposium,...
Author: Mario A. Nascimento , Timos Sellis ISBN: 9783642402340 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 13th International Symposium on Spatial and Temporal Databases,... Read More >>

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Formal Modeling and Analysis of Timed Systems: 11th...
Author: Víctor Braberman , Laurent Fribourg ISBN: 9783642402289 Format: Paperback	$131.97
This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis... Read More >>

Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Mathematical Foundations of Computer Science 2013: 38th...
Author: Krishnendu Chatterjee , Jirí Sgall ISBN: 9783642403125 Format: Paperback	$145.17
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical... Read More >>

Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

Fundamentals of Computation Theory: 19th International...
Author: Leszek Gąsieniec , Frank Wolter ISBN: 9783642401633 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation... Read More >>

Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings

Business Process Management: 11th International Conference,...
Author: Florian Daniel , Jianmin Wang ISBN: 9783642401756 Format: Paperback	$145.17
This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013,... Read More >>

Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings


Author: Reiko Heckel , Stefan Milius ISBN: 9783642402050 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 5th International... Read More >>

Geometric Science of Information: First International Conference, GSI 2013, Paris, France, August 28-30, 2013, Proceedings

Geometric Science of Information: First International...
Author: Frank Nielsen , Frédéric Barbaresco ISBN: 9783642400193 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the First International Conference on Geometric Science of Information,... Read More >>

Geometric Methods in Physics: XXXI Workshop, Białowieża, Poland, June 24–30, 2012

Geometric Methods in Physics: XXXI Workshop, Białowieża,...
Author: Piotr Kielanowski , S. Twareque Ali ISBN: 9783034806442 Format: Hardback	$145.17
The Białowieża workshops on Geometric Methods in Physics, taking place in the unique environment of the Białowieża... Read More >>

Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday

Space-Efficient Data Structures, Streams, and Algorithms:...
Author: Andrej Brodnik , Alejandro Lopez-Ortiz ISBN: 9783642402722 Format: Paperback	$145.17
In celebration of his 66th birthday the colloquium ""Conference on Space Efficient Data Structures, Streams and... Read More >>

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Quantitative Evaluation of Systems: 10th International...
Author: Kaustubh Joshi , Markus Siegle ISBN: 9783642401954 Format: Paperback	$145.17
The papers are organized in topics such as probabilistic automata and Markov automata, population models, model... Read More >>

A Mathematical Introduction to Compressive Sensing

A Mathematical Introduction to Compressive Sensing
Author: Simon Foucart , Holger Rauhut ISBN: 9780817649470 Format: Hardback	$237.57
At the intersection of mathematics, engineering, and computer science sits the thriving field of compressive sensing.... Read More >>

New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

New Frontiers in Artificial Intelligence: JSAI-isAI...
Author: Yoichi Motomura , Alastair Butler ISBN: 9783642399305 Format: Paperback	$131.97
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS,... Read More >>

Euro-Par 2013: Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings

Euro-Par 2013: Parallel Processing: 19th International...
Author: Felix Wolf , Bernd Mohr ISBN: 9783642400469 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th International Conference on Parallel and Distributed... Read More >>

Fundamentals of Matrix-Analytic Methods

Fundamentals of Matrix-Analytic Methods
Author: Qi-Ming He ISBN: 9781461473299 Format: Hardback	$145.17
Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer... Read More >>

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings

Approximation, Randomization, and Combinatorial Optimization....
Author: Prasad Raghavendra , Sofya Raskhodnikova ISBN: 9783642403279 Format: Paperback	$145.17
Read More >>

CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

CONCUR 2013 -- Concurrency Theory: 24th International...
Author: Pedro R. D'Argenio , Hernan Melgratti ISBN: 9783642401831 Format: Paperback	$145.17
This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory,... Read More >>

Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers

Trends in Functional Programming: 13th International...
Author: Hans Wolfgang Loidl , Ricardo Peña ISBN: 9783642404467 Format: Paperback	$145.17
This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends... Read More >>

Page 227 of 443 ... 222 223 224 225 226 227 228 229 230 231 ...

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