Mathematical theory of computation books

11069 books were found.

Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

Integer Programming and Combinatorial Optimization:...
Author: Jon Lee , Jens Vygen ISBN: 9783319075563 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 17th International Conference on Integer Programming and Combinatorial... Read More >>

Hybrid Artificial Intelligence Systems: 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014, Proceedings

Hybrid Artificial Intelligence Systems: 9th International...
Author: Marios Polycarpou , André C.P.L.F. de Carvalho ISBN: 9783319076164 Format: Paperback	$290.37
This volume constitutes the proceedings of the 9th International Conference on Hybrid Artificial Intelligent Systems,... Read More >>

Artificial Intelligence: Methods and Applications: 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings

Artificial Intelligence: Methods and Applications: 8th...
Author: Aristidis Likas , Konstantinos Blekas ISBN: 9783319070636 Format: Paperback	$290.37
This book constitutes the proceedings of the 8th Hellenic Conference on Artificial Intelligence, SETN 2014, held... Read More >>

Multivariate Nonparametric Regression and Visualization: With R and Applications to Finance

Multivariate Nonparametric Regression and Visualization:...
Author: Jussi Sakari Klemelä (Department of Mathematical Sciences, University of Oulu, Finland) ISBN: 9780470384428 Format: Hardback	$223.95
Covering classification and regression, Statistical Learning is the first of its kind to use visualization techniques... Read More >>

Beyond Databases, Architectures, and Structures: 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Beyond Databases, Architectures, and Structures: 10th...
Author: Stanislaw Kozielski , Dariusz Mrozek ISBN: 9783319069319 Format: Paperback	$145.17
Read More >>

Formal Concept Analysis: 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings

Formal Concept Analysis: 12th International Conference,...
Author: Cynthia Vera Glodeanu , Mehdi Kaytoue ISBN: 9783319072470 Format: Paperback	$145.17
Read More >>

Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics: 10th International...
Author: Roman Wyrzykowski , Jack Dongarra ISBN: 9783642552236 Format: Paperback	$145.17
This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference... Read More >>

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th...
Author: Marco Bernardo , Ferruccio Damiani ISBN: 9783319073163 Format: Paperback	$145.17
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School... Read More >>

Hybrid Metaheuristics: 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings

Hybrid Metaheuristics: 9th International Workshop, HM...
Author: Maria J. Blesa , Christian Blum ISBN: 9783319076430 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Metaheuristics, HM 2014,... Read More >>

Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Integration of AI and OR Techniques in Constraint Programming:...
Author: Helmut Simonis ISBN: 9783319070452 Format: Paperback	$145.17
This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence... Read More >>

Efficient Algorithms for Global Optimization Methods in Computer Vision: International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers

Efficient Algorithms for Global Optimization Methods...
Author: Andrés Bruhn , Thomas Pock ISBN: 9783642547737 Format: Paperback	$118.77
This book constitutes the thoroughly refereed post-conference proceedings of the International Dagstuhl-Seminar... Read More >>

Artificial Intelligence and Soft Computing: 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

Artificial Intelligence and Soft Computing: 13th International...
Author: Leszek Rutkowski , Marcin Korytkowski ISBN: 9783319071756 Format: Paperback	$290.37
The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference... Read More >>

Engineering Secure Future Internet Services and Systems: Current Research

Engineering Secure Future Internet Services and Systems:...
Author: Maritta Heisel , Wouter Joosen ISBN: 9783319074511 Format: Paperback	$145.17
This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering... Read More >>

Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Quantum Interaction: 7th International Conference, QI...
Author: Harald Atmanspacher , Emmanuel Haven ISBN: 9783642549427 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 7th International Conference on Quantum Interaction, QI 2013,... Read More >>

Combinatorial Image Analysis: 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014, Proceedings

Combinatorial Image Analysis: 16th International Workshop,...
Author: Reneta P. Barneva , Valentin E. Brimkov ISBN: 9783319071473 Format: Paperback	$145.17
This volume constitutes the refereed proceedings of the 16th International Workshop on Combinatorial Image Analysis,... Read More >>

Combinatorial Pattern Matching: 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings

Combinatorial Pattern Matching: 25th Annual Symposium,...
Author: Alexander S. Kulikov , Sergei O. Kuznetsov ISBN: 9783319075655 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM... Read More >>

Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden:...
Author: Franck van Breugel , Elham Kashefi ISBN: 9783319068794 Format: Paperback	$145.17
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden,... Read More >>

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z:...
Author: Yamine Ait Ameur , Klaus-Dieter Schewe ISBN: 9783662436516 Format: Paperback	$145.17
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State... Read More >>

Semantic Techniques in Quantum Computation

Semantic Techniques in Quantum Computation
Author: Simon Gay (University of Glasgow) , Ian Mackie (Imperial College London) ISBN: 9781139193313 Format: Undefined	$435.60
This book is a collection of work from leading researchers that explores quantum computation from the perspective... Read More >>

Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating...
Author: J. C. M. Baeten (Technische Universiteit Eindhoven, The Netherlands) , T. Basten (Technische Universiteit Eindhoven, The Netherlands) ISBN: 9781139195003 Format: Undefined	$620.40
Read More >>

Progress in Cryptology – AFRICACRYPT 2014: 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

Progress in Cryptology – AFRICACRYPT 2014: 7th International...
Author: David Pointcheval , Damien Vergnaud ISBN: 9783319067339 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 7th International Conference on the Theory and Application... Read More >>

Computer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications: 9th International...
Author: Edward Hirsch , Sergei O. Kuznetsov ISBN: 9783319066851 Format: Paperback	$145.17
This book constitutes the proceedings of the 9th International Computer Science Symposium in Russia, CSR 2014, held... Read More >>

Practitioner's Knowledge Representation: A Pathway to Improve Software Effort Estimation

Practitioner's Knowledge Representation: A Pathway to...
Author: Emilia Mendes ISBN: 9783642541568 Format: Hardback	$145.17
Read More >>

Sparsity: Graphs, Structures, and Algorithms

Sparsity: Graphs, Structures, and Algorithms
Author: Jaroslav Nešetřil , Patrice Ossona de Mendez ISBN: 9783642427763 Format: Paperback	$263.97
This is the first book devoted to the systematic study of sparse graphs and sparse finite structures. Read More >>

Risk Management Technologies: With Logic and Probabilistic Models

Risk Management Technologies: With Logic and Probabilistic...
Author: E.D. Solozhentsev ISBN: 9789400798779 Format: Paperback	$448.77
This book presents intellectual innovative information (I3) technologies based on logical and probabilistic (LP)... Read More >>

Page 214 of 443 ... 209 210 211 212 213 214 215 216 217 218 ...

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