Mathematical theory of computation books

11087 books were found.

Modelling -- Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

Modelling -- Foundation and Applications: 7th European...
Author: Robert B. France , Jochen M. Kuester ISBN: 9783642214691 Format: Paperback	$250.80
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications,... Read More >>

Advances in Swarm Intelligence, Part I: Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I

Advances in Swarm Intelligence, Part I: Second International...
Author: Ying Tan , Yuhui Shi ISBN: 9783642215148 Format: Paperback	$314.16
Constitutes the refereed proceedings of the International Conference on Swarm Intelligence, ICSI 2011, that was... Read More >>

OpenMP in the Petascale Era: 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings

OpenMP in the Petascale Era: 7th International Workshop...
Author: Barbara M. Chapman , William D. Gropp ISBN: 9783642214868 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in... Read More >>

Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Top Productivity through Software Reuse: 12th International...
Author: Klaus Schmid ISBN: 9783642213465 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011,... Read More >>

Hybrid Random Fields: A Scalable Approach to Structure and Parameter Learning in Probabilistic Graphical Models

Hybrid Random Fields: A Scalable Approach to Structure...
Author: Antonino Freno , Edmondo Trentin ISBN: 9783642203077 Format: Hardback	$340.56
""The authors have written an enjoyable book - rigorous in the treatment of the mathematical background, but also... Read More >>

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers

Inductive Logic Programming: 20th International Conference,...
Author: Paolo Frasconi , Francesca A. Lisi ISBN: 9783642212949 Format: Paperback	$190.08
This book constitutes the thoroughly refereed post-proceedings of the 20th International Conference on Inductive... Read More >>

Researching the Future in Information Systems: IFIP WG 8.2 Working Conference, Future IS 2011, Turku, Finland, June 6-8, 2011, Proceedings

Researching the Future in Information Systems: IFIP...
Author: Mike Chiasson , Ola Henfridsson ISBN: 9783642213632 Format: Hardback	$340.56
This book constitutes the refereed proceedings of the IFIP WG 8.2 Working Conference ""Researching the Future"",... Read More >>

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International...
Author: Luke Ong ISBN: 9783642216909 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and... Read More >>

Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

Tools for Teaching Logic: Third International Congress,...
Author: Patrick Blackburn , Hans van Ditmarsch ISBN: 9783642213496 Format: Paperback	$190.08
Constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, that was... Read More >>

New Challenges on Bioinspired Applications: 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II

New Challenges on Bioinspired Applications: 4th International...
Author: José M. Ferrández , José Ramón Álvarez ISBN: 9783642213250 Format: Paperback	$282.48
Constitutes the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and... Read More >>

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings

Relational and Algebraic Methods in Computer Science:...
Author: Harrie de Swart ISBN: 9783642210693 Format: Paperback	$219.12
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in... Read More >>

Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia...
Author: Juergen Dingel , Arnor Solberg ISBN: 9783642212093 Format: Paperback	$250.80
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th... Read More >>

Foundations on Natural and Artificial Computation: 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

Foundations on Natural and Artificial Computation: 4th...
Author: José M. Ferrández , José Ramón Álvarez ISBN: 9783642213434 Format: Paperback	$282.48
Constitutes the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and... Read More >>

Invariants of Behavior: Constancy and Variability in Neural Systems

Invariants of Behavior: Constancy and Variability in...
Author: Mario Negrello ISBN: 9781441988034 Format: Hardback	$551.76
The study of the brain and behavior is illuminated with the discovery... Read More >>

Algorithms and Models for the Web-Graph: 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011, Proceedings

Algorithms and Models for the Web-Graph: 8th International...
Author: Alan Frieze , Paul Horn ISBN: 9783642212857 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms and Models for the... Read More >>

Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011

Language and Automata Theory and Applications: 5th International...
Author: Adrian-Horia Dediu , Carlos Martín-Vide ISBN: 9783642212536 Format: Paperback	$282.48
This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory... Read More >>

Demand-Driven Associative Classification

Demand-Driven Associative Classification
Author: Adriano Veloso , Wagner Meira Jr. ISBN: 9780857295248 Format: Paperback	$105.47
The ultimate goal of machines is to help humans to solve problems. Such problems range between two extremes: structured... Read More >>

Software Reliability Assessment with OR Applications

Software Reliability Assessment with OR Applications...
Author: P.K. Kapur , Hoang Pham ISBN: 9780857292032 Format: Hardback	$604.56
Software Reliability Assessment with OR Applications provides a comprehensive guide to software reliability measurement,... Read More >>

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Automated Deduction in Geometry: 7th International Workshop,...
Author: Thomas Sturm , Christoph Zengler ISBN: 9783642210457 Format: Paperback	$190.08
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated... Read More >>

Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I

Hybrid Artificial Intelligent Systems: 6th International...
Author: Emilio Corchado , Marek Kurzynski ISBN: 9783642212185 Format: Paperback	$282.48
The two LNAI volumes 6678 and 6679 constitute the proceedings of the 6th International Conference on Hybrid Artificial... Read More >>

Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II

Hybrid Artificial Intelligent Systems: 6th International...
Author: Emilio Corchado , Marek Kurzynski ISBN: 9783642212215 Format: Paperback	$282.48
The two LNAI volumes 6678 and 6679 constitute the proceedings of the 6th International Conference on Hybrid Artificial... Read More >>

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

Value-Range Analysis of C Programs: Towards Proving...
Author: Axel Simon ISBN: 9781849967020 Format: Paperback	$340.56
The book formally describes how program operations are mapped to operations on polyhedra and details how to limit... Read More >>

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

Logic Programming, Knowledge Representation, and Nonmonotonic...
Author: Marcello Balduccini , Tran Cao Son ISBN: 9783642208317 Format: Paperback	$282.48
This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a... Read More >>

Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011. Proceedings

Combinatorial Image Analysis: 14th International Workshop,...
Author: Jake K. Aggarwal , Reneta P. Barneva ISBN: 9783642210723 Format: Paperback	$282.48
This volume constitutes the refereed proceedings of the 14th International Workshop on Combinatorial Image Analysis,... Read More >>

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Integration of AI and OR Techniques in Constraint Programming...
Author: Tobias Achterberg , J. Christopher Beck ISBN: 9783642213106 Format: Paperback	$190.08
This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques... Read More >>

Page 286 of 444 ... 281 282 283 284 285 286 287 288 289 290 ...

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