Mathematical theory of computation books

11069 books were found.

Gentzen's Centenary: The Quest for Consistency

Gentzen's Centenary: The Quest for Consistency
Author: Reinhard Kahle , Michael Rathjen ISBN: 9783319101026 Format: Paperback	$448.77
This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical... Read More >>

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Theory and Applications of Satisfiability Testing --...
Author: Marijn Heule , Sean Weaver ISBN: 9783319243177 Format: Paperback	$142.29
Read More >>

Combinatorial Image Analysis: 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings

Combinatorial Image Analysis: 17th International Workshop,...
Author: Reneta P. Barneva , Bhargab B. Bhattacharya ISBN: 9783319261447 Format: Paperback	$116.41
This volume constitutes the refereed proceedings of the17th International Workshop on Combinatorial Image Analysis,... Read More >>

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics
Author: Thomas Piecha , Peter Schroeder-Heister ISBN: 9783319226859 Format: Hardback	$158.37
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address... Read More >>

Multiple Shooting and Time Domain Decomposition Methods: MuS-TDD, Heidelberg, May 6-8, 2013

Multiple Shooting and Time Domain Decomposition Methods:...
Author: Thomas Carraro , Michael Geiger ISBN: 9783319233208 Format: Hardback	$290.37
This book offers a comprehensive collection of the most advanced numerical techniques for the efficient and effective... Read More >>

Information Technologies and Mathematical Modelling - Queueing Theory and Applications: 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

Information Technologies and Mathematical Modelling...
Author: Alexander Dudin , Anatoly Nazarov ISBN: 9783319258607 Format: Paperback	$145.17
Read More >>

Einführung in die computerorientierte Mathematik mit Sage

Einführung in die computerorientierte Mathematik mit...
Author: Thorsten Theobald , Sadik Iliman ISBN: 9783658104528 Format: Paperback	$79.17
Das an Studienanfänger der Mathematik gerichtete Lehrbuch bietet eine breit angelegte Einführung in verschiedene... Read More >>

Discrete Mathematics

Discrete Mathematics
Author: R K Bisht (Associate Professor, Department of Computer Science and Applications, Amrapali Institute, Lamchaur, Haldwani, Uttarakhand) , H S Dhami (Vice Chancellor, Kumaun University, Uttarakhand) ISBN: 9780199452798 Format: Paperback	$55.95
Read More >>

Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings

Similarity Search and Applications: 8th International...
Author: Giuseppe Amato , Richard Connor ISBN: 9783319250861 Format: Paperback	$116.41
Read More >>

Statistical Language and Speech Processing: Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

Statistical Language and Speech Processing: Third International...
Author: Adrian-Horia Dediu , Carlos Martín-Vide ISBN: 9783319257884 Format: Paperback	$116.41
Read More >>

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Dependable Software Engineering: Theories, Tools, and...
Author: Xuandong Li , Zhiming Liu ISBN: 9783319259413 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering:... Read More >>

Hidden Semi-Markov Models: Theory, Algorithms and Applications

Hidden Semi-Markov Models: Theory, Algorithms and Applications...
Author: Shun-Zheng Yu (School of Information Science and Technology, Sun Yat-Sen University, China) ISBN: 9780128027677 Format: Paperback	$105.47
Hidden semi-Markov models (HSMMs) are among the most important models in the area of artificial intelligence / machine... Read More >>

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium

Structural Analysis of Non-Classical Logics: The Proceedings...
Author: Syraya Chin-Mu Yang , Duen-Min Deng ISBN: 9783662483565 Format: Hardback	$290.37
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address... Read More >>

Quantum Information Processing with Finite Resources: Mathematical Foundations

Quantum Information Processing with Finite Resources:...
Author: Marco Tomamichel ISBN: 9783319218908 Format: Paperback	$224.37
Read More >>

Recent Trends in Computational Engineering - CE2014: Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems

Recent Trends in Computational Engineering - CE2014:...
Author: Miriam Mehl , Manfred Bischoff ISBN: 9783319229966 Format: Hardback	$145.17
This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart... Read More >>

Fireworks Algorithm: A Novel Swarm Intelligence Optimization Method

Fireworks Algorithm: A Novel Swarm Intelligence Optimization...
Author: Ying Tan ISBN: 9783662463529 Format: Hardback	$290.37
This book is devoted to the state-of-the-art in all aspects of fireworks algorithm (FWA), with particular emphasis... Read More >>

Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings

Modeling and Using Context: 9th International and Interdisciplinary...
Author: Henning Christiansen , Isidora Stojanovic ISBN: 9783319255903 Format: Paperback	$116.41
This book constitutes the proceedings of the 9thInternational and Interdisciplinary Conference on Modeling and Using... Read More >>

Excel und VBA: Einführung mit praktischen Anwendungen in den Naturwissenschaften

Excel und VBA: Einführung mit praktischen Anwendungen...
Author: Franz Josef Mehr , María Teresa Mehr ISBN: 9783658088859 Format: Paperback	$158.37
Anwendungsgebiete und Programmiermöglichkeiten von Excel 2013 werden praxisorientiert im Buch vorgestellt. Der Einsatz... Read More >>

Lecture Notes On Knot Invariants

Lecture Notes On Knot Invariants
Author: Weiping Li (Civil Aviation Flight Univ Of China, China) ISBN: 9789814675963 Format: Paperback	$82.80
Read More >>

Lecture Notes On Knot Invariants

Lecture Notes On Knot Invariants
Author: Weiping Li (Civil Aviation Flight Univ Of China, China) ISBN: 9789814675956 Format: Hardback	$160.43
The volume is focused on the basic calculation skills of various knot invariants defined from topology and geometry.... Read More >>

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

Logic, Mathematics, and Computer Science: Modern Foundations...
Author: Yves Nievergelt ISBN: 9781493937134 Format: Paperback	$145.17
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences,... Read More >>

Quantum Hamiltonian Complexity

Quantum Hamiltonian Complexity
Author: Sevag Gharibian , Yichen Huang ISBN: 9781680830064 Format: Paperback	$237.60
Read More >>

Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions

Perspectives on Interrogative Models of Inquiry: Developments...
Author: Can Başkent ISBN: 9783319207612 Format: Hardback	$145.17
This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations... Read More >>

Sparse Image and Signal Processing: Wavelets and Related Geometric Multiscale Analysis, Second Edition

Sparse Image and Signal Processing: Wavelets and Related...
Author: Jean-Luc Starck , Fionn Murtagh (Royal Holloway, University of London) ISBN: 9781107088061 Format: Hardback	$194.06
This thoroughly updated edition presents state-of-the-art sparse and multiscale image and signal processing with... Read More >>

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

Logic, Mathematics, and Computer Science: Modern Foundations...
Author: Yves Nievergelt ISBN: 9781493932221 Format: Hardback	$184.77
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences,... Read More >>

Page 188 of 443 ... 183 184 185 186 187 188 189 190 191 192 ...

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