Mathematical theory of computation books

11103 books were found.

IP-Traffic Theory and Performance

IP-Traffic Theory and Performance
Author: Christian Grimm , Georg Schlüchtermann ISBN: 9783540706038 Format: Hardback	$551.76
From the usage of mobile phones – either as simple telephone or for data transmissions – over the new form of telephone... Read More >>

Transactions on Rough Sets VIII

Transactions on Rough Sets VIII
Author: James F. Peters , Andrzej Skowron ISBN: 9783540850632 Format: Paperback	$340.56
VolumeVIIIoftheTransactions on Rough Sets (TRS)containsa widespectrum of contributions to the theory and applications... Read More >>

Massively Multi-Agent Technology: AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers

Massively Multi-Agent Technology: AAMAS Workshops, MMAS...
Author: Nadeem Jamali , Paul Scerri ISBN: 9783540854487 Format: Paperback	$158.27
Papers appearing in this volume have been selected from three inter- tional workshops held in conjunction with the... Read More >>

Combinatorial Optimization and Applications: Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings

Combinatorial Optimization and Applications: Second...
Author: Boting Yang , Ding-Zhu Du ISBN: 9783540850960 Format: Paperback	$237.47
This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization... Read More >>

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

CONCUR 2008 - Concurrency Theory: 19th International...
Author: Franck van Breugel , Marsha Chechik ISBN: 9783540853602 Format: Paperback	$237.47
Read More >>

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Theorem Proving in Higher Order Logics: 21st International...
Author: Otmane Ait Mohamed , César Munoz ISBN: 9783540710653 Format: Paperback	$184.67
Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics,... Read More >>

Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings

Hybrid Learning and Education: First International Conference,...
Author: Joseph Fong , Reggie Kwan ISBN: 9783540851691 Format: Paperback	$237.47
The papers are organized in topical sections on hybrid education,... Read More >>

Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Fast Software Encryption: 15th International Workshop,...
Author: Kaisa Nyberg ISBN: 9783540710387 Format: Paperback	$237.47
Read More >>

COMPSTAT 2008: Proceedings in Computational Statistics

COMPSTAT 2008: Proceedings in Computational Statistics...
Author: Paula Brito ISBN: 9783790820836 Format: Mixed media product	$472.56
Read More >>

Artificial Immune Systems: 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings

Artificial Immune Systems: 7th International Conference,...
Author: Peter Bentley , Doheon Lee ISBN: 9783540850717 Format: Paperback	$211.07
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems,... Read More >>

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Model Checking Software: 15th International SPIN Workshop,...
Author: Klaus Havelund , Rupak Majumdar ISBN: 9783540851134 Format: Paperback	$211.07
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software,... Read More >>

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Automated Reasoning: 4th International Joint Conference,...
Author: Alessandro Armando , Peter Baumgartner ISBN: 9783540710691 Format: Paperback	$261.36
Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008,... Read More >>

Learning to Live in the Knowledge Society: IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference, September 7-10, 2008, Milano, Italy

Learning to Live in the Knowledge Society: IFIP 20th...
Author: Michael Kendall , Brian Samways ISBN: 9780387097282 Format: Hardback	$290.37
ED-L2L, Learning to Live in the Knowledge Society, is one of the co-located conferences of the 20th World Computer... Read More >>

Artificial Intelligence in Theory and Practice II: IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy

Artificial Intelligence in Theory and Practice II: IFIP...
Author: Max Bramer ISBN: 9780387096940 Format: Paperback	$525.36
The papers in this volume comprise the refereed proceedings of the conference ‘ Artificial Intelligence in Theory... Read More >>

Advances in Automatic Differentiation

Advances in Automatic Differentiation
Author: Christian H. Bischof , H. Martin Bücker ISBN: 9783540689355 Format: Paperback	$366.96
This trend is prominently re?ected in many of the pub- cations in this volume, not only in a better understanding... Read More >>

Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings

Algebraic Biology: Third International Conference, AB...
Author: Katsuhisa Horimoto , Georg Regensburger ISBN: 9783540851004 Format: Paperback	$171.47
This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Read More >>

Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers

Languages, Methodologies and Development Tools for Multi-Agent...
Author: Mehdi Dastani , Amal El Fallah Seghrouchni ISBN: 9783540850571 Format: Paperback	$184.67
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages,... Read More >>

Open Source Development, Communities and Quality: IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

Open Source Development, Communities and Quality: IFIP...
Author: Barbara Russo , Ernesto Damiani ISBN: 9780387096834 Format: Paperback	$393.36
We are very pleased to introduce Open Source Development, Communities and Quality. The International Conference... Read More >>

New Frontiers for Entertainment Computing: IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy

New Frontiers for Entertainment Computing: IFIP 20th...
Author: Paolo Ciancarini , Ryohei Nakatsu ISBN: 9780387097008 Format: Hardback	$314.16
This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan,... Read More >>

Computer-Aided Innovation (CAI): IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Computer-Aided Innovation (CAI): IFIP 20th World Computer...
Author: Gaetano Cascini ISBN: 9780387096964 Format: Hardback	$393.36
Gaetano Cascini th Florence, April 30 20 08 CAI Topical Session Organization The IFIP Topical Session on Computer-Aided... Read More >>

Advances in Information Systems Research, Education and Practice: IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy

Advances in Information Systems Research, Education...
Author: David Avison , George M. Kasper ISBN: 9780387096810 Format: Hardback	$340.56
Introduction The International Federation for Information Processing (IFIP) is a non-profit umbrella organization... Read More >>

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Fifth IFIP International Conference on Theoretical Computer...
Author: Giorgio Ausiello , Juhani Karhumäki ISBN: 9780387096797 Format: Hardback	$578.16
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences... Read More >>

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Intelligent Computer Mathematics: 9th International...
Author: Serge Autexier , John Campbell ISBN: 9783540851097 Format: Paperback	$261.36
Constitutes the joint proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation,... Read More >>

Einführung in die Mathematische Logik: Ein Lehrbuch

Einführung in die Mathematische Logik: Ein Lehrbuch...
Author: Wolfgang Rautenberg ISBN: 9783834805782 Format: Paperback	$131.97
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen... Read More >>

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Algebraic Methodology and Software Technology: 12th...
Author: José Meseguer , Grigore Rosu ISBN: 9783540799795 Format: Paperback	$211.07
Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software... Read More >>

Page 349 of 445 ... 344 345 346 347 348 349 350 351 352 353 ...

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