Mathematical theory of computation books

11069 books were found.

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning: 7th International Joint Conference,...
Author: Stéphane Demri , Deepak Kapur ISBN: 9783319085869 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning,... Read More >>

Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems: 12th International...
Author: Fabrizio Cariani , Davide Grossi ISBN: 9783319086149 Format: Paperback	$145.17
This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative... Read More >>

Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Reversible Computation: 6th International Conference,...
Author: Shigeru Yamashita , Shin-ichi Minato ISBN: 9783319084930 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC... Read More >>

Algorithm Theory -- SWAT 2014: 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings

Algorithm Theory -- SWAT 2014: 14th Scandinavian Symposium...
Author: Inge Li Gørtz , R. Ravi ISBN: 9783319084039 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on... Read More >>

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification: 26th International Conference,...
Author: Armin Biere , Roderick Bloem ISBN: 9783319088662 Format: Paperback	$290.37
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014,... Read More >>

Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Software Architecture: 8th European Conference, ECSA...
Author: Paris Avgeriou , Uwe Zdun ISBN: 9783319099699 Format: Paperback	$145.17
This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in... Read More >>

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods: 12th International...
Author: Dimitra Giannakopoulou , Gwen Salaün ISBN: 9783319104300 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and... Read More >>

Large-Scale Scientific Computing: 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers

Large-Scale Scientific Computing: 9th International...
Author: Ivan Lirkov , Svetozar Margenov ISBN: 9783662438794 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on... Read More >>

Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies – Ada-Europe 2014: 19th...
Author: Laurent George , Tullio Vardanega ISBN: 9783319083100 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software... Read More >>

Rough Sets and Intelligent Systems Paradigms: Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings

Rough Sets and Intelligent Systems Paradigms: Second...
Author: Marzena Kryszkiewicz , Chris Cornelis ISBN: 9783319087283 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Rough Sets and Intelligent... Read More >>

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation: 7th International Conference,...
Author: Holger Giese , Barbara König ISBN: 9783319091075 Format: Paperback	$145.17
This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held... Read More >>

Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Tests and Proofs: 8th International Conference, TAP...
Author: Martina Seidl , Nikolai Tillmann ISBN: 9783319090986 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014,... Read More >>

Developments in Language Theory: 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Developments in Language Theory: 18th International...
Author: Arseny M. Shur , Mikhail V. Volkov ISBN: 9783319096971 Format: Paperback	$145.17
This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT... Read More >>

Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Mathematical Foundations of Computer Science 2014: 39th...
Author: Ersébet Csuhaj-Varjú , Martin Dietzfelbinger ISBN: 9783662445211 Format: Paperback	$145.17
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International... Read More >>

Algorithmic Aspects in Information and Management: 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings

Algorithmic Aspects in Information and Management: 10th...
Author: Qianping Gu , Pavol Hell ISBN: 9783319079554 Format: Paperback	$145.17
Read More >>

Information Processing and Management of Uncertainty: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III

Information Processing and Management of Uncertainty:...
Author: Anne Laurent , Olivier Strauss ISBN: 9783319088518 Format: Paperback	$145.17
Read More >>

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International...
Author: Josep Diaz , Ivan Lanese ISBN: 9783662446010 Format: Paperback	$145.17
Read More >>

Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics: 20th International Conference,...
Author: Zhipeng Cai , Alexander Zelikovsky ISBN: 9783319087825 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 20th International Conference on Computing and Combinatorics,... Read More >>

Engineering Psychology and Cognitive Ergonomics: 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

Engineering Psychology and Cognitive Ergonomics: 11th...
Author: Don Harris ISBN: 9783319075143 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 11th International Conference on Engineering Psychology and... Read More >>

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving: 5th International Conference,...
Author: Gerwin Klein , Ruben Gamboa ISBN: 9783319089690 Format: Paperback	$145.17
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014,... Read More >>

Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

Swarm Intelligence: 9th International Conference, ANTS...
Author: Marco Dorigo , Mauro Birattari ISBN: 9783319099514 Format: Paperback	$145.17
The papers cover empirical and theoretical research in swarm intelligence such as: behavioral models of social insects... Read More >>

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Perspectives in Computational Complexity: The Somenath...
Author: Manindra Agrawal , Vikraman Arvind ISBN: 9783319054452 Format: Hardback	$316.77
Read More >>

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software: 10th International...
Author: José Luiz Fiadeiro , Zhiming Liu ISBN: 9783319076010 Format: Paperback	$145.17
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component... Read More >>

Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Intelligent Computer Mathematics: CICM 2014 Joint Events:...
Author: Stephen M. Watt , Alan Sexton ISBN: 9783319084336 Format: Paperback	$116.41
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014,... Read More >>

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies
Author: Vasco Brattka , Hannes Diener ISBN: 9781614517832 Format: Hardback	$257.31
Published in honor of Victor L Selivanov, this book collects 17 articles that inform on the developments in computability... Read More >>

Page 211 of 443 ... 206 207 208 209 210 211 212 213 214 215 ...

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