Mathematical theory of computation books

11071 books were found.

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in...
Author: Michael Fellows , Xuehou Tan ISBN: 9783642387555 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 7th International Frontiers of Algorithmics Workshop, FAW... Read More >>

Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Inductive Logic Programming: 22nd International Conference,...
Author: Fabrizio Riguzzi , Filip Zelezny ISBN: 9783642388118 Format: Paperback	$131.97
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive... Read More >>

Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

Unconventional Computation and Natural Computation:...
Author: Giancarlo Mauri , Alberto Dennunzio ISBN: 9783642390739 Format: Paperback	$131.97
This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation... Read More >>

Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Reversible Computation: 5th International Conference,...
Author: Gerhard W. Dueck , D. Michael Miller ISBN: 9783642389856 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC... Read More >>

Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings

Safe and Secure Software Reuse: 13th International Conference...
Author: John Favaro , Maurizio Morisio ISBN: 9783642389764 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software... Read More >>

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Typed Lambda Calculi and Applications: 11th International...
Author: Masahito Hasegawa ISBN: 9783642389450 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and... Read More >>

Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Modelling Foundations and Applications: 9th European...
Author: Pieter Van Gorp , Tom Ritter ISBN: 9783642390128 Format: Paperback	$131.97
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications,... Read More >>

Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Software Architecture: 7th European Conference, ECSA...
Author: Khalil Drira ISBN: 9783642390302 Format: Paperback	$116.41
This book constitutes the proceedings of the 7th European Conference on Software Architecture, ECSA 2013, held in... Read More >>

Seamless R and C++ Integration with Rcpp

Seamless R and C++ Integration with Rcpp
Author: Dirk Eddelbuettel ISBN: 9781461468677 Format: Paperback	$261.36
Read More >>

Distributed Graph Algorithms for Computer Networks

Distributed Graph Algorithms for Computer Networks
Author: Kayhan Erciyes ISBN: 9781447151722 Format: Hardback	$263.97
This book presents a comprehensive review of key distributed graph algorithms for computer network applications,... Read More >>

Towards Solid-State Quantum Repeaters: Ultrafast, Coherent Optical Control and Spin-Photon Entanglement in Charged InAs Quantum Dots

Towards Solid-State Quantum Repeaters: Ultrafast, Coherent...
Author: Kristiaan De Greve ISBN: 9783319000732 Format: Hardback	$290.37
Towards Solid-State Quantum Repeaters: Ultrafast, Coherent Optical Control and Spin-Photon Entanglement in Charged... Read More >>

Data and Application Security: Developments and Directions

Data and Application Security: Developments and Directions...
Author: B. Thuraisingham , Reind van de Riet ISBN: 9781475775020 Format: Paperback	$630.96
Read More >>

Recipes for Continuation

Recipes for Continuation
Author: Harry Dankowicz , Frank Schilder ISBN: 9781611972566 Format: Paperback	$199.10
Provides a comprehensive introduction to the mathematical methodology of parameter continuation, the computational... Read More >>

Scientific Computing on Supercomputers III

Scientific Computing on Supercomputers III
Author: J.T. Devreese , P.E. Van Camp ISBN: 9781489925831 Format: Paperback	$448.77
The International Workshop on ""The Use of Supercomputers in Theoretical Science"" took place on January 24 and... Read More >>

Nominal Sets: Names and Symmetry in Computer Science

Nominal Sets: Names and Symmetry in Computer Science...
Author: Andrew M. Pitts (University of Cambridge) ISBN: 9781107017788 Format: Hardback	$147.49
Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages... Read More >>

Networked Information Technologies: Diffusion and Adoption

Networked Information Technologies: Diffusion and Adoption...
Author: Jan Damsgaard , Helle Zinner Henriksen ISBN: 9781475788457 Format: Paperback	$290.37
Themes related to the conceptualisation of diffusion and adoption of networked information systems are discussed... Read More >>

Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France

Building the Information Society: IFIP 18th World Computer...
Author: Rene Jacquart ISBN: 9781475788945 Format: Paperback	$448.77
Comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress... Read More >>

Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Algorithms and Complexity: 8th International Conference,...
Author: Paul G. Spirakis , Maria Serna ISBN: 9783642382321 Format: Paperback	$145.17
This book constitutes the refereed conference proceedings of the 8th International Conference on Algorithms and... Read More >>

Surviving the SOC Revolution: A Guide to Platform-Based Design

Surviving the SOC Revolution: A Guide to Platform-Based...
Author: Henry Chang , L.R. Cooke ISBN: 9781475782899 Format: Paperback	$290.37
It is most likely that the preferred approaches to the implementation of complex embedded systems will include... Read More >>

Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings

Experimental Algorithms: 12th International Symposium,...
Author: Vincenzo Bonifaci , Camil Demetrescu ISBN: 9783642385261 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 12th International Symposium on Experimental Algorithms, SEA... Read More >>

Post-Quantum Cryptography: 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013, Proceedings

Post-Quantum Cryptography: 5th International Workshop,...
Author: Philippe Gaborit ISBN: 9783642386152 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 5th International Workshop on Post-Quantum Cryptography, PQCrypto... Read More >>

Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings

Theory and Practice of Model Transformations: 6th International...
Author: Keith Duddy , Gerti Kappel ISBN: 9783642388828 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model... Read More >>

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice
Author: Monty Newborn ISBN: 9781461265191 Format: Paperback	$343.17
The first four chapters contain introductory material about automated theorem proving and the two programs. Chapter... Read More >>

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Integrated Formal Methods: 10th International Conference,...
Author: Einar Broch Johnsen , Luigia Petre ISBN: 9783642386121 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods,... Read More >>

Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings

Developments in Language Theory: 17th International...
Author: Marie-Pierre Beal , Olivier Carton ISBN: 9783642387708 Format: Paperback	$145.17
This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT... Read More >>

Page 231 of 443 ... 226 227 228 229 230 231 232 233 234 235 ...

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