Mathematical theory of computation books

11068 books were found.

Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Human Aspects of Information Security, Privacy, and...
Author: Theo Tryfonas ISBN: 9783319393803 Format: Paperback	$116.41
Read More >>

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs: 10th International Conference, TAP...
Author: Bernhard K. Aichernig , Carlo A. Furia ISBN: 9783319411347 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016,... Read More >>

Computational Processing of the Portuguese Language: 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

Computational Processing of the Portuguese Language:...
Author: João Silva , Ricardo Ribeiro ISBN: 9783319415512 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 12th International Conference on Computational Processing... Read More >>

Data Management Essentials Using SAS and JMP

Data Management Essentials Using SAS and JMP
Author: Julie Kezik , Melissa Hill ISBN: 9781107535039 Format: Paperback	$98.32
This book is designed for the first time or occasional SAS user who needs immediate guidance in navigating, exploring,... Read More >>

Data Management Essentials Using SAS and JMP

Data Management Essentials Using SAS and JMP
Author: Julie Kezik , Melissa Hill ISBN: 9781107114562 Format: Hardback	$212.18
This book is designed for the first time or occasional SAS user who needs immediate guidance in navigating, exploring,... Read More >>

Natural Language Processing and Information Systems: 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings

Natural Language Processing and Information Systems:...
Author: Elisabeth Métais , Farid Meziane ISBN: 9783319417530 Format: Paperback	$116.41
Read More >>

Artificial General Intelligence: 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings

Artificial General Intelligence: 9th International Conference,...
Author: Bas Steunebrink , Pei Wang ISBN: 9783319416489 Format: Paperback	$116.41
Read More >>

DB2 11 for z/OS Database Administration: Certification Study Guide

DB2 11 for z/OS Database Administration: Certification...
Author: Susan Lawson ISBN: 9781583473979 Format: Paperback	$237.47
Read More >>

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems....
Author: Thierry Lecomte , Ralf Pinger ISBN: 9783319339504 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and... Read More >>

Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Unconventional Computation and Natural Computation:...
Author: Martyn Amos , Anne Condon ISBN: 9783319413112 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 15th International Conference on Unconventional Computation... Read More >>

High Performance Computing: 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

High Performance Computing: 31st International Conference,...
Author: Julian M. Kunkel , Pavan Balaji ISBN: 9783319413204 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 31st International Conference, ISC High Performance 2016 [formerly... Read More >>

Readings in Formal Epistemology: Sourcebook

Readings in Formal Epistemology: Sourcebook
Author: Horacio Arló-Costa , Vincent F. Hendricks ISBN: 9783319204505 Format: Hardback	$422.37
Read More >>

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Automated Reasoning: 8th International Joint Conference,...
Author: Nicola Olivetti , Ashish Tiwari ISBN: 9783319402284 Format: Paperback	$181.10
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning,... Read More >>

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming: 25th International Conference,...
Author: Katsumi Inoue , Hayato Ohwada ISBN: 9783319405650 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on... Read More >>

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I

Information Processing and Management of Uncertainty...
Author: Joao Paulo Carvalho , Marie-Jeanne Lesot ISBN: 9783319405957 Format: Paperback	$290.37
This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information... Read More >>

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

Information Processing and Management of Uncertainty...
Author: Joao Paulo Carvalho , Marie-Jeanne Lesot ISBN: 9783319405803 Format: Paperback	$290.37
This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information... Read More >>

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing –...
Author: Nadia Creignou , Daniel Le Berre ISBN: 9783319409696 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of... Read More >>

Relaxed Abduction: Robust Information Interpretation for Industrial Applications

Relaxed Abduction: Robust Information Interpretation...
Author: Thomas Hubauer ISBN: 9783658144067 Format: Paperback	$145.17
Thomas Hubauer addresses the challenge of providing reasonable interpretations of incomplete observational data... Read More >>

Mathematik der Quanteninformatik: Eine Einführung

Mathematik der Quanteninformatik: Eine Einführung
Author: Wolfgang Scherer ISBN: 9783662490792 Format: Paperback	$105.57
Dieses Buch stellt die elementaren mathematischen Aspekte in der Quanteninformatik im strikten Formalismus der Mathematik... Read More >>

Effective DevOps

Effective DevOps
Author: Jennifer Davis , Ryn Daniels ISBN: 9781491926307 Format: Paperback	$131.97
Some companies think that adopting devops means bringing in specialists or a host of new tools. With this practical... Read More >>

Cybersecurity and Applied Mathematics

Cybersecurity and Applied Mathematics
Author: Leigh Metcalf (PhD (Mathematics), Co-Editor in Chief, ACM Digital Threats) , William Casey (PhD (Applied Mathematics)) ISBN: 9780128044520 Format: Paperback	$184.67
Cybersecurity and Applied Mathematics explores the mathematical concepts necessary for effective cybersecurity research... Read More >>

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods: 8th International Symposium, NFM...
Author: Sanjai Rayadurgam , Oksana Tkachuk ISBN: 9783319406473 Format: Paperback	$142.29
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held... Read More >>

Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Coalgebraic Methods in Computer Science: 13th IFIP WG...
Author: Ichiro Hasuo ISBN: 9783319403694 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on... Read More >>

Computer Networks: 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings

Computer Networks: 23rd International Conference, CN...
Author: Piotr Gaj , Andrzej Kwiecień ISBN: 9783319392066 Format: Paperback	$145.17
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Computer Networks,... Read More >>

Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

Experimental Algorithms: 15th International Symposium,...
Author: Andrew V. Goldberg , Alexander S. Kulikov ISBN: 9783319388502 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA... Read More >>

Page 180 of 443 ... 175 176 177 178 179 180 181 182 183 184 ...

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