Mathematical theory of computation books

11069 books were found.

Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming: 23rd International Conference,...
Author: Gerson Zaverucha , Vítor Santos Costa ISBN: 9783662449226 Format: Paperback	$118.77
The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical... Read More >>

Approximability of Optimization Problems through Adiabatic Quantum Computation

Approximability of Optimization Problems through Adiabatic...
Author: William Cruz-Santos , Guillermo Morales-Luna ISBN: 9783031013911 Format: Paperback	$72.42
Table of Contents: Preface / Acknowledgments / Introduction / Approximability of NP-hard Problems / Adiabatic Quantum... Read More >>

Algebraische und zahlentheoretische Grundlagen für die Informatik: Gruppen, Ringe, Körper, Primzahltests, Verschlüsselung

Algebraische und zahlentheoretische Grundlagen für die...
Author: Kurt-Ulrich Witt ISBN: 9783658040741 Format: Paperback	$79.17
Informatikerinnen und Informatiker aller Fachrichtungen müssen die grundlegenden Konzepte, Methoden und Verfahren,... Read More >>

Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Model-Based Safety and Assessment: 4th International...
Author: Frank Ortmeier , Antoine Rauzy ISBN: 9783319122137 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment,... Read More >>

Ontology-based Application Integration

Ontology-based Application Integration
Author: Heiko Paulheim ISBN: 9781489994301 Format: Paperback	$158.37
Read More >>

Geospatial Abduction: Principles and Practice

Geospatial Abduction: Principles and Practice
Author: Paulo Shakarian , V.S. Subrahmanian ISBN: 9781489997852 Format: Paperback	$145.17
Read More >>

Automatic Generation of Combinatorial Test Data

Automatic Generation of Combinatorial Test Data
Author: Jian Zhang , Zhiqiang Zhang ISBN: 9783662434284 Format: Paperback	$145.17
This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation... Read More >>

Mathematical Analysis of Problems in the Natural Sciences

Mathematical Analysis of Problems in the Natural Sciences...
Author: Vladimir Zorich , Gerald G. Gould ISBN: 9783642430046 Format: Paperback	$158.37
Read More >>

Learning to Rank for Information Retrieval

Learning to Rank for Information Retrieval
Author: Tie-Yan Liu ISBN: 9783642441240 Format: Paperback	$422.37
Read More >>

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis:...
Author: Franck Cassez , Jean-Francois Raskin ISBN: 9783319119359 Format: Paperback	$145.17
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification... Read More >>

Modeling Decisions for Artificial Intelligence: 11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014, Proceedings

Modeling Decisions for Artificial Intelligence: 11th...
Author: Vicenç Torra , Yasuo Narukawa ISBN: 9783319120539 Format: Paperback	$145.17
They deal with the theory and tools for modeling decisions, as well as applications that encompass decision making... Read More >>

Simulation, Modeling, and Programming for Autonomous Robots: 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

Simulation, Modeling, and Programming for Autonomous...
Author: Davide Brugali , Jan Broenink ISBN: 9783319118994 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 4th International Conference on Simulation, Modeling, and... Read More >>

Geometric Algebra Computing: in Engineering and Computer Science

Geometric Algebra Computing: in Engineering and Computer...
Author: Eduardo Bayro-Corrochano , Gerik Scheuermann ISBN: 9781447157687 Format: Paperback	$551.76
Read More >>

A Singular Introduction to Commutative Algebra

A Singular Introduction to Commutative Algebra
Author: Gert-Martin Greuel , O. Bachmann ISBN: 9783642442544 Format: Paperback	$142.29
From the reviews of the first edition: ""It is certainly no exaggeration to say that … A Singular Introduction... Read More >>

Parallel Problem Solving from Nature -- PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

Parallel Problem Solving from Nature -- PPSN XIII: 13th...
Author: Thomas Bartz-Beielstein , Juergen Branke ISBN: 9783319107615 Format: Paperback	$290.37
Read More >>

Dynamic Quality Management for Cloud Labor Services: Methods and Applications for Gaining Reliable Work Results with an On-Demand Workforce

Dynamic Quality Management for Cloud Labor Services:...
Author: Robert Kern ISBN: 9783319097756 Format: Paperback	$145.17
How can a scalable and efficient quality management mechanism for cloud labor services be designed in a way that... Read More >>

Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Computer Performance Engineering: 11th European Workshop,...
Author: András Horváth , Katinka Wolter ISBN: 9783319108841 Format: Paperback	$145.17
Read More >>

Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems: 26th IFIP WG 6.1 International...
Author: Mercedes G. Merayo , Edgardo Montes de Oca ISBN: 9783662448564 Format: Paperback	$145.17
Read More >>

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Theoretical Aspects of Computing – ICTAC 2014: 11th...
Author: Gabriel Ciobanu , Dominique Méry ISBN: 9783319108810 Format: Paperback	$145.17
software architectures and their models, refinement and verification; relationship between software requirements,... Read More >>

Algorithmic Game Theory: 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings

Algorithmic Game Theory: 7th International Symposium,...
Author: Ron Lavi ISBN: 9783662448021 Format: Paperback	$145.17
They cover various important aspects of algorithmic game theory, such as matching theory, game dynamics, games of... Read More >>

Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems: 8th International Workshop, RP...
Author: Joel Ouaknine , Igor Potapov ISBN: 9783319114385 Format: Paperback	$145.17
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held... Read More >>

Algorithmic Learning Theory: 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Algorithmic Learning Theory: 25th International Conference,...
Author: Peter Auer , Alexander Clark ISBN: 9783319116617 Format: Paperback	$145.17
This book constitutes the proceedings of the 25th International Conference on Algorithmic Learning Theory, ALT 2014,... Read More >>

Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification: 5th International Conference,...
Author: Borzoo Bonakdarpour , Scott A. Smolka ISBN: 9783319111636 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014,... Read More >>

Post-Quantum Cryptography: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

Post-Quantum Cryptography: 6th International Workshop,...
Author: Michele Mosca ISBN: 9783319116587 Format: Paperback	$145.17
The papers cover all technical aspects of cryptographic research related to the future world with large quantum... Read More >>

Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Computer Safety, Reliability, and Security: SAFECOMP...
Author: Andrea Bondavalli , Andrea Ceccarelli ISBN: 9783319105567 Format: Paperback	$145.17
This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International... Read More >>

Page 206 of 443 ... 201 202 203 204 205 206 207 208 209 210 ...

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