Mathematical theory of computation books

11103 books were found.

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives...
Author: Orna Grumberg , Helmut Veith ISBN: 9783540698494 Format: Paperback	$105.47
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based... Read More >>

Computing and Combinatorics: 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings

Computing and Combinatorics: 14th International Conference,...
Author: Xiaodong Hu , Jie Wang ISBN: 9783540697329 Format: Paperback	$287.76
Read More >>

Performance Evaluation: Metrics, Models and Benchmarks: SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings

Performance Evaluation: Metrics, Models and Benchmarks:...
Author: Samuel Kounev , Ian Gorton ISBN: 9783540698135 Format: Paperback	$184.67
This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW... Read More >>

Artificial Intelligence and Soft Computing – ICAISC 2008: 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings

Artificial Intelligence and Soft Computing – ICAISC...
Author: Leszek Rutkowski , Ryszard Tadeusiewicz ISBN: 9783540695721 Format: Paperback	$472.56
Constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence and Soft Computing,... Read More >>

Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings

Product-Focused Software Process Improvement: 9th International...
Author: Andreas Jedlitschka , Outi Salo ISBN: 9783540695646 Format: Paperback	$237.47
On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International... Read More >>

A Practical Programming Model for the Multi-Core Era: International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings

A Practical Programming Model for the Multi-Core Era:...
Author: Barbara Chapman , Weimin Zheng ISBN: 9783540693024 Format: Paperback	$158.27
The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.This year’sworkshopcontinuedits... Read More >>

Trust Management II: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway

Trust Management II: Proceedings of IFIPTM 2008: Joint...
Author: Yücel Karabulut , John C. Mitchell ISBN: 9780387094274 Format: Hardback	$393.36
This volume contains the proceedings of the IFIPTM 2008, the Joint iTrust and PST Conferences on Privacy, Trust... Read More >>

Bayesian Approach to Inverse Problems

Bayesian Approach to Inverse Problems
Author: Jérôme Idier (IRCCyN (Institut de Recherches en Cybernetique de Nantes), France) ISBN: 9781848210325 Format: Hardback	$384.95
Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect... Read More >>

Lectures on Advances in Combinatorics

Lectures on Advances in Combinatorics
Author: Rudolf Ahlswede , Vladimir Blinovsky ISBN: 9783540786016 Format: Paperback	$158.27
Read More >>

Adaptive Scalarization Methods in Multiobjective Optimization

Adaptive Scalarization Methods in Multiobjective Optimization...
Author: Gabriele Eichfelder ISBN: 9783540791577 Format: Hardback	$340.56
This book presents adaptive solution methods for multiobjective optimization problems based on parameter dependent... Read More >>

New Frontiers in Applied Artificial Intelligence: 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings

New Frontiers in Applied Artificial Intelligence: 21st...
Author: Leszek Borzemski , Adam Grzech ISBN: 9783540690450 Format: Paperback	$366.96
The 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems... Read More >>

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Logic and Theory of Algorithms: 4th Conference on Computability...
Author: Arnold Beckmann , Costas Dimitracopoulos ISBN: 9783540694052 Format: Paperback	$261.36
CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal... Read More >>

Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

Requirements Engineering: Foundation for Software Quality:...
Author: Barbara Paech , Colette Rolland ISBN: 9783540690603 Format: Paperback	$158.27
Read More >>

Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings

Applications and Theory of Petri Nets: 29th International...
Author: Kees van Hee , Rüdiger Valk ISBN: 9783540687450 Format: Paperback	$211.07
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of... Read More >>

Information Retrieval Technology: 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers

Information Retrieval Technology: 4th Asia Information...
Author: Hang Li , Ting Liu ISBN: 9783540686330 Format: Paperback	$287.76
The papers are organized in topical sections on IR models image retrieval, text classification, chinese language... Read More >>

Algorithms and Architectures for Parallel Processing: 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings

Algorithms and Architectures for Parallel Processing:...
Author: Anu G. Bourgeois , Si Quing Zheng ISBN: 9783540695004 Format: Paperback	$184.67
Our thanks go to Hai Jin and George Papapodoulos, the conference General Co-chairs, and Andrzej Goscinski, W- lei... Read More >>

Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Formal Techniques for Networked and Distributed Systems...
Author: Kenji Suzuki , Teruo Higashino ISBN: 9783540688549 Format: Paperback	$314.16
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques... Read More >>

Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Testing of Software and Communicating Systems: 20th...
Author: Kenji Suzuki , Teruo Higashino ISBN: 9783540685142 Format: Paperback	$287.76
They are organized in topical sections on general software testing, testing continuous and real-time systems, network... Read More >>

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic and Validity: Theory, Implementation,...
Author: Ulrich Kulisch ISBN: 9783110203189 Format: Hardback	$287.76
Deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied... Read More >>

Graphs, Dioids and Semirings: New Models and Algorithms

Graphs, Dioids and Semirings: New Models and Algorithms...
Author: Michel Gondran , Michel Minoux ISBN: 9780387754499 Format: Hardback	$353.76
Emphasizes the deep relations existing between the semiring and dioid structures with graphs and their combinatorial... Read More >>

Performance Modeling and Engineering

Performance Modeling and Engineering
Author: Zhen Liu , Cathy H. Xia ISBN: 9780387793603 Format: Hardback	$393.36
With the fast development of networking and software technologies, information processing infrastructure and applications... Read More >>

Taschenbuch der Algorithmen

Taschenbuch der Algorithmen
Author: Berthold Vöcking , Helmut Alt ISBN: 9783540763932 Format: Paperback	$79.07
Read More >>

Experimental Algorithms: 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings

Experimental Algorithms: 7th International Workshop,...
Author: Catherine C. McGeoch ISBN: 9783540685487 Format: Paperback	$211.07
The Workshop on Experimental Algorithms, WEA, is intended to be an int- national forum for research on the experimental... Read More >>

Integer Programming and Combinatorial Optimization: 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

Integer Programming and Combinatorial Optimization:...
Author: Andrea Lodi , Alessandro Panconesi ISBN: 9783540688860 Format: Paperback	$237.47
Constitutes the refereed proceedings of the 13th International Conference on Integer Programming and Combinatorial... Read More >>

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

FM 2008: Formal Methods: 15th International Symposium...
Author: Jorge Cuellar , Tom Maibaum ISBN: 9783540682356 Format: Paperback	$211.07
The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency,... Read More >>

Page 351 of 445 ... 346 347 348 349 350 351 352 353 354 355 ...

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