Mathematical theory of computation books

11103 books were found.

Progress in Geomathematics

Progress in Geomathematics
Author: Graeme Bonham-Carter , Cheng Qiuming ISBN: 9783540694953 Format: Hardback	$683.76
Celebrating Frits Agterberg's half-century of publication activity in geomathematics, this volume's 28 papers, written... Read More >>

Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Provable Security: Second International Conference,...
Author: Joon Sang Baek , Feng Bao ISBN: 9783540887324 Format: Paperback	$211.07
This book constitutes the refereed proceedings of the Second International Conference on Provable Security, ProvSec... Read More >>

Invitation to Discrete Mathematics

Invitation to Discrete Mathematics
Author: Ji^D%rí Matoušek (, Professor of Computer Science, Charles University, Prague) , Jaroslav Nešet^D%ril (, Professor of Mathematics, Charles University, Prague) ISBN: 9780198570424 Format: Paperback	$163.95
Read More >>

Advances in Artificial Intelligence - SBIA 2008: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008

Advances in Artificial Intelligence - SBIA 2008: 19th...
Author: Gerson Zaverucha , Augusto Loureiro da Costa ISBN: 9783540881896 Format: Paperback	$197.87
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA... Read More >>

Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers

Research in Cryptology: Second Western European Workshop,...
Author: Stefan Lucks , Ahmad-Reza Sadeghi ISBN: 9783540883524 Format: Paperback	$158.27
The papers cover topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key... Read More >>

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

Generative and Transformational Techniques in Software...
Author: Ralf Lämmel , Joost Visser ISBN: 9783540886426 Format: Paperback	$237.47
The second instance of the international summer school on Generative and Transformational Techniques in Software... Read More >>

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Rule Representation, Interchange and Reasoning on the...
Author: Nick Bassiliades , Guido Governatori ISBN: 9783540888079 Format: Paperback	$184.67
The 2008 International Symposium on Rule Interchange and Applications (RuleML th 2008), collocated in Orlando, Florida,... Read More >>

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Formal Methods and Software Engineering: 10th International...
Author: Shaoying Liu , Tom Maibaum ISBN: 9783540881933 Format: Paperback	$237.47
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software... Read More >>

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers

Language and Automata Theory and Applications: Second...
Author: Carlos Martin-Vide , Friedrich Otto ISBN: 9783540882817 Format: Paperback	$261.36
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory... Read More >>

Invitation to Discrete Mathematics

Invitation to Discrete Mathematics
Author: Ji^D%rí Matoušek (, Professor of Computer Science, Charles University, Prague) , Jaroslav Nešet^D%ril (, Professor of Mathematics, Charles University, Prague) ISBN: 9780198570431 Format: Hardback	$404.95
Read More >>

Rough Sets and Current Trends in Computing: 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings

Rough Sets and Current Trends in Computing: 6th International...
Author: Chien-Chung Chan , Jerzy W. Grzymala-Busse ISBN: 9783540884231 Format: Paperback	$261.36
The proceedings of the conferences in this - ries, as well as in Rough Sets and Knowledge Technology (RSKT), and... Read More >>

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Quality of Software Architectures Models and Architectures:...
Author: Steffen Becker , Frantisek Plasil ISBN: 9783540878780 Format: Paperback	$171.47
In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially... Read More >>

Modeling Decisions for Artificial Intelligence: 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings

Modeling Decisions for Artificial Intelligence: 5th...
Author: Yasuo Narukawa , Yasuo Narukawa ISBN: 9783540882688 Format: Paperback	$171.47
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial... Read More >>

Wireless Algorithms, Systems, and Applications: Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings

Wireless Algorithms, Systems, and Applications: Third...
Author: Yingshu Li , Dung T. Huynh ISBN: 9783540885818 Format: Paperback	$277.20
This book constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms,... Read More >>

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings

Network and Parallel Computing: IFIP International Conference,...
Author: Jian Cao , Minglu Li ISBN: 9783540881391 Format: Paperback	$314.16
Welcome to the proceedings of the 2008 IFIP International Conference on Network and Parallel Computing (NPC 2008)... Read More >>

MICAI 2008: Advances in Artificial Intelligence: 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

MICAI 2008: Advances in Artificial Intelligence: 7th...
Author: Alexander Gelbukh , Eduardo F. Morales ISBN: 9783540886358 Format: Paperback	$419.76
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series... Read More >>

Conceptual Modeling - ER 2008: 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings

Conceptual Modeling - ER 2008: 27th International Conference...
Author: Qing Li , Stefano Spaccapietra ISBN: 9783540878766 Format: Paperback	$277.20
Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such... Read More >>

Comparative Genomics: International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008, Proceedings

Comparative Genomics: International Workshop, RECOMB-CG...
Author: Craig Nelson , Stéphane Vialette ISBN: 9783540879886 Format: Paperback	$184.67
Constitutes the proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, held in Paris,... Read More >>

Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Component-Based Software Engineering: 11th International...
Author: Michel R. V. Chaudron , Clemens Szyperski ISBN: 9783540878902 Format: Paperback	$211.07
On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based... Read More >>

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Automated Technology for Verification and Analysis:...
Author: Sungdeok Cha , Jin-Young Choi ISBN: 9783540883869 Format: Paperback	$237.47
The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time... Read More >>

Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing
Author: David Makinson ISBN: 9781846288449 Format: Paperback	$131.87
Read More >>

Lehrbuch Informatik: Vorkurs Programmieren, Geschichte und Begriffsbildung, Automatenentwurf

Lehrbuch Informatik: Vorkurs Programmieren, Geschichte...
Author: Juraj Hromkovic ISBN: 9783834806208 Format: Paperback	$92.37
Read More >>

Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

Advances in Artificial Intelligence - IBERAMIA 2008:...
Author: Hector Geffner , Rui Prada ISBN: 9783540883081 Format: Paperback	$245.39
The authors of the submitted papers represent 14 countries with topics c- ering the whole spectrum of themes in... Read More >>

Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

Central European Functional Programming School: Second...
Author: Anna Soós , Rinus Plasmeijer ISBN: 9783540880585 Format: Paperback	$184.67
This volume presents the revised lecture notes of selected talks given at the second Central European Functional... Read More >>

Hybrid Metaheuristics: 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings

Hybrid Metaheuristics: 5th International Workshop, HM...
Author: Christian Blum , Carlos Cotta ISBN: 9783540884385 Format: Paperback	$171.47
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008,... Read More >>

Page 345 of 445 ... 340 341 342 343 344 345 346 347 348 349 ...

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