Mathematical theory of computation books

11068 books were found.

Hybrid Artificial Intelligent Systems: 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Hybrid Artificial Intelligent Systems: 11th International...
Author: Francisco Martínez-Álvarez , Alicia Troncoso ISBN: 9783319320335 Format: Paperback	$116.41
Thisvolume constitutes the refereed proceedings of the 11th International Conferenceon Hybrid Artificial Intelligent... Read More >>

J. Michael Dunn on Information Based Logics

J. Michael Dunn on Information Based Logics
Author: Katalin Bimbo ISBN: 9783319292984 Format: Hardback	$290.37
Theinformational view of semantics is also a prominent theme in Dunn’s research onother logics, such as quantum... Read More >>

Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

Scientific Computing, Computer Arithmetic, and Validated...
Author: Marco Nehmeier , Jürgen Wolff von Gudenberg ISBN: 9783319317687 Format: Paperback	$116.41
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Würzburg,... Read More >>

Applied Research of Quantum Information Based on Linear Optics

Applied Research of Quantum Information Based on Linear...
Author: Xiaoye Xu ISBN: 9783662498026 Format: Hardback	$290.37
This thesis reports on outstanding work in two main subfields of quantum information science: one involves the quantum... Read More >>

Discrete Geometry for Computer Imagery: 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings

Discrete Geometry for Computer Imagery: 19th IAPR International...
Author: Nicolas Normand , Jeanpierre Guédon ISBN: 9783319323596 Format: Paperback	$116.41
Read More >>

Progress in Cryptology – AFRICACRYPT 2016: 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings

Progress in Cryptology – AFRICACRYPT 2016: 8th International...
Author: David Pointcheval , Abderrahmane Nitaj ISBN: 9783319315164 Format: Paperback	$116.41
This bookconstitutes the thoroughly refereed proceedings of the 8th International Conference on theTheory and Application... Read More >>

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software: 23rd International Symposium,...
Author: Dragan Bošnački , Anton Wijs ISBN: 9783319325811 Format: Paperback	$116.41
This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN... Read More >>

Numeric Computation and Statistical Data Analysis on the Java Platform

Numeric Computation and Statistical Data Analysis on...
Author: Sergei V. Chekanov ISBN: 9783319285290 Format: Hardback	$290.37
Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics... Read More >>

Advances and Applications in Chaotic Systems

Advances and Applications in Chaotic Systems
Author: Sundarapandian Vaidyanathan , Christos Volos ISBN: 9783319302782 Format: Hardback	$448.77
This book reports on the latest advances and applications of chaotic systems. It consists of 25 contributed chapters... Read More >>

Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

Applications of Evolutionary Computation: 19th European...
Author: Giovanni Squillero , Paolo Burelli ISBN: 9783319311524 Format: Paperback	$116.41
The two volumes LNCS 9597 and 9598 constitute the refereed conference proceedings of the 19th European Conference... Read More >>

Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics: 11th International...
Author: Roman Wyrzykowski , Ewa Deelman ISBN: 9783319321486 Format: Paperback	$116.41
Read More >>

Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics: 11th International...
Author: Roman Wyrzykowski , Ewa Deelman ISBN: 9783319321516 Format: Paperback	$116.41
Read More >>

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry: 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation...
Author: Federico Rossi , Fabio Mavelli ISBN: 9783319326948 Format: Paperback	$145.17
Read More >>

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World: Essays...
Author: Sam Lindley , Conor McBride ISBN: 9783319309354 Format: Paperback	$116.41
This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers... Read More >>

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models: Efficient...
Author: Vladimir Herdt ISBN: 9783658126797 Format: Paperback	$145.17
In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient... Read More >>

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Author: Antonio Di Nola , Revaz Grigolia ISBN: 9783319304045 Format: Hardback	$290.37
This book presents the first algebraic treatment of quasi-truth... Read More >>

Engineering Secure Software and Systems: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Engineering Secure Software and Systems: 8th International...
Author: Juan Caballero , Eric Bodden ISBN: 9783319308050 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software... Read More >>

Genetic Programming: 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Genetic Programming: 19th European Conference, EuroGP...
Author: Malcolm I. Heywood , James McDermott ISBN: 9783319306674 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 19th European Conference on Genetic Programming, EuroGP 2016,... Read More >>

Trusted Systems: 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

Trusted Systems: 7th International Conference, INTRUST...
Author: Moti Yung , Jianbiao Zhang ISBN: 9783319315492 Format: Paperback	$116.41
This book constitutes the thoroughly refereedpost-conference proceedings of the 7th International Conference on... Read More >>

Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Programming Languages and Systems: 25th European Symposium...
Author: Peter Thiemann ISBN: 9783662494974 Format: Paperback	$116.41
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place... Read More >>

LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

LATIN 2016: Theoretical Informatics: 12th Latin American...
Author: Evangelos Kranakis , Gonzalo Navarro ISBN: 9783662495285 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 12th Latin American Symposium on Theoretical Informatics,... Read More >>

Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Fundamental Approaches to Software Engineering: 19th...
Author: Perdita Stevens , Andrzej Wąsowski ISBN: 9783662496640 Format: Paperback	$116.41
This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software... Read More >>

Artificial Evolution: 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers

Artificial Evolution: 12th International Conference,...
Author: Stéphane Bonnevay , Pierrick Legrand ISBN: 9783319314709 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on... Read More >>

Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

Semantic Technology: 5th Joint International Conference,...
Author: Guilin Qi , Kouji Kozaki ISBN: 9783319316758 Format: Paperback	$116.41
The JIST 2015 conference consisted of main technical tracksincluding 2 keynotes, 2 invited talks, a regular technical... Read More >>

Sparse Grids and Applications - Stuttgart 2014

Sparse Grids and Applications - Stuttgart 2014
Author: Jochen Garcke , Dirk Pflüger ISBN: 9783319282602 Format: Hardback	$290.37
Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in their... Read More >>

Page 182 of 443 ... 177 178 179 180 181 182 183 184 185 186 ...

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