Mathematical theory of computation books

11103 books were found.

Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings

Rough Sets and Knowledge Technology: 4th International...
Author: Peng Wen , Yuefeng Li ISBN: 9783642029615 Format: Paperback	$314.16
This book constitutes the refereed proceedings of the Fourth International Conference on Rough Sets and Knowledge... Read More >>

Computing and Combinatorics: 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings

Computing and Combinatorics: 15th Annual International...
Author: Hung Q. Ngo ISBN: 9783642028816 Format: Paperback	$277.20
The papers in this volume were selected for presentation at the 15th Annual InternationalComputing and CombinatoricsConference... Read More >>

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II

Automata, Languages and Programming: 36th International...
Author: Susanne Albers , Alberto Marchetti-Spaccamela ISBN: 9783642029295 Format: Paperback	$287.76
This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games)... Read More >>

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

Automata, Languages and Programming: 36th International...
Author: Susanne Albers , Alberto Marchetti-Spaccamela ISBN: 9783642029264 Format: Paperback	$340.56
ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on... Read More >>

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Tests and Proofs: Third International Conference, TAP...
Author: Catherine Dubois ISBN: 9783642029486 Format: Paperback	$171.47
1 This volume contains the research papers and invited papers presented at the Third International Conference on... Read More >>

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Logic Programming: 25th International Conference, ICLP...
Author: Patricia M. Hill , David S. Warren ISBN: 9783642028458 Format: Paperback	$277.20
This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The... Read More >>

An Intermediate Course in Probability

An Intermediate Course in Probability
Author: Allan Gut ISBN: 9781441901613 Format: Hardback	$237.47
The purpose of this book is to provide the reader with a solid background and understanding of the basic results... Read More >>

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration

Mathematical Foundations of Scientific Visualization,...
Author: Torsten Möller , Bernd Hamann ISBN: 9783540250760 Format: Hardback	$366.96
Often, the data represents 3D or even time-varying 3D phenomena (such as medical data), and the access to different... Read More >>

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference,...
Author: Stefano Berardi , Ferruccio Damiani ISBN: 9783642024436 Format: Paperback	$197.87
Read More >>

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing -...
Author: Oliver Kullmann ISBN: 9783642027765 Format: Paperback	$277.20
This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications... Read More >>

Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Intelligent Computer Mathematics: 16th Symposium, Calculemus...
Author: Jacques Carette , Lucas Dixon ISBN: 9783642026133 Format: Paperback	$261.36
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation.... Read More >>

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings

Symbolic and Quantitative Approaches to Reasoning with...
Author: Claudio Sossai , Gaetano Chemello ISBN: 9783642029059 Format: Paperback	$377.52
This book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches... Read More >>

Bioinspired Applications in Artificial and Natural Computation: Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II

Bioinspired Applications in Artificial and Natural Computation:...
Author: Jose Mira , José M. Ferrández ISBN: 9783642022661 Format: Paperback	$277.20
The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference... Read More >>

Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Rewriting Techniques and Applications: 20th International...
Author: Ralf Treinen ISBN: 9783642023477 Format: Paperback	$237.47
Read More >>

Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings

Applications and Theory of Petri Nets: 30th International...
Author: Giuliana Franceschinis , Karsten Wolf ISBN: 9783642024238 Format: Paperback	$211.07
This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of... Read More >>

Introductory Time Series with R

Introductory Time Series with R
Author: Paul S.P. Cowpertwait , Andrew V. Metcalfe ISBN: 9780387886978 Format: Paperback	$158.27
Once the model has been introduced it is used to generate synthetic data, using R code, and these generated data... Read More >>

Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems: 5th International...
Author: Raffaela Mirandola , Ian Gorton ISBN: 9783642023507 Format: Paperback	$171.47
Much of a software architect’s life is spent designing software systems to meet a set of quality requirements. To... Read More >>

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Typed Lambda Calculi and Applications: 9th International...
Author: Pierre-Louis Curien ISBN: 9783642022722 Format: Paperback	$237.47
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications,... Read More >>

Learning Representation and Control in Markov Decision Processes: New Frontiers

Learning Representation and Control in Markov Decision...
Author: Sridhar Mahadaven ISBN: 9781601982384 Format: Paperback	$290.40
Read More >>

Multiple Classifier Systems: 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009, Proceedings

Multiple Classifier Systems: 8th International Workshop,...
Author: Jón Atli Benediktsson , Josef Kittler ISBN: 9783642023255 Format: Paperback	$261.36
These proceedings are a record of the Multiple Classi?er Systems Workshop, MCS 2009, held at the University of Iceland,... Read More >>

Transactions on Aspect-Oriented Software Development V: Focus: Aspects, Dependencies and Interactions

Transactions on Aspect-Oriented Software Development...
Author: Awais Rashid , Harold Ossher ISBN: 9783642020582 Format: Paperback	$237.47
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented... Read More >>

Mathematics and Computation in Music: Second International Conference, MCM 2009, New Haven, CT, USA, June 19-22, 2009. Proceedings

Mathematics and Computation in Music: Second International...
Author: Elaine Chew , Adrian Childs ISBN: 9783642023934 Format: Paperback	$237.47
This book constitutes the refereed proceedings of the Second International Conference on Mathematics and Computation... Read More >>

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Requirements Engineering: Foundation for Software Quality:...
Author: Martin Glinz , Patrick Heymans ISBN: 9783642020490 Format: Paperback	$184.67
This book constitutes the refereed proceedings of the 15th International Working Conference on Requirements Engineering:... Read More >>

Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008. Revised Selected Papers

Networks for Grid Applications: Second International...
Author: Pascale Vicat-Blanc Primet , Tomohiro Kudoh ISBN: 9783642020797 Format: Paperback	$184.67
Read More >>

Combinatorial Optimization and Applications: Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009, Proceedings

Combinatorial Optimization and Applications: Third International...
Author: Ding-Zhu Du , Xiaodong Hu ISBN: 9783642020254 Format: Paperback	$277.20
This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization... Read More >>

Page 339 of 445 ... 334 335 336 337 338 339 340 341 342 343 ...

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