Mathematical theory of computation books

11085 books were found.

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Certified Programs and Proofs: Second International...

Author: Chris Hawblitzel ,  Dale Miller
ISBN: 9783642353079
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and...  Read More >>

Automata Theory and its Applications

Automata Theory and its Applications

Author: Bakhadyr Khoussainov ,  Anil Nerode
ISBN: 9781461266457
Format: Paperback
$145.17

The theory of finite automata on finite stings, infinite strings, and trees has had a dis­ tinguished history. In...  Read More >>

Computational Techniques of the Simplex Method

Computational Techniques of the Simplex Method

Author: István Maros
ISBN: 9781461349907
Format: Paperback
$659.97

Computational Techniques of the Simplex Method is a systematic treatment focused on the computational issues of...  Read More >>

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

The Best of ICCAD: 20 Years of Excellence in Computer-Aided...

Author: Andreas Kuehlmann
ISBN: 9781461350071
Format: Paperback
$871.17

In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. The sharply...  Read More >>

Multiscalar Processors

Multiscalar Processors

Author: Manoj Franklin
ISBN: 9781461353645
Format: Paperback
$290.37

Multiscalar Processors presents a comprehensive treatment of the basic principles of Multiscalar execution, and...  Read More >>

Evolutionary Optimization in Dynamic Environments

Evolutionary Optimization in Dynamic Environments

Author: Jürgen Branke
ISBN: 9781461353003
Format: Paperback
$580.77

Evolutionary Algorithms (EAs) have grown into a mature field of research in optimization, and have proven to be...  Read More >>

Ontology Learning for the Semantic Web

Ontology Learning for the Semantic Web

Author: Alexander Maedche
ISBN: 9781461353072
Format: Paperback
$290.37

Ontology Learning for the Semantic Web explores techniques for applying knowledge discovery techniques to different...  Read More >>

Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities

Mathematics and Computer Science II: Algorithms, Trees,...

Author: Brigitte Chauvin ,  Philippe Flajolet
ISBN: 9783034894753
Format: Paperback
$290.37

The International Colloquium on Mathematics and Computer Science is a biennial event that first took place at the...  Read More >>

Internet and Network Economics: 8th International Workshop, WINE 2012, Singapore, December 11-14, 2012. Proceedings

Internet and Network Economics: 8th International Workshop,...

Author: Paul W. Goldberg ,  Mingyu Guo
ISBN: 9783642353109
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 8th International Workshop on Internet and Network Economics,...  Read More >>

Computer Algebra Handbook: Foundations · Applications · Systems

Computer Algebra Handbook: Foundations · Applications...

Author: Johannes Grabmeier ,  M. Hitz
ISBN: 9783642629884
Format: Paperback
$448.77

-David Berlinski, The Advent of the Algorithm First there was the concept of integers, then there were symbols for...  Read More >>

Interdisciplinary Computing in Java Programming

Interdisciplinary Computing in Java Programming

Author: Sun-Chong Wang
ISBN: 9781461350460
Format: Paperback
$448.77

Books on computation in the marketplace tend to discuss the topics within specific fields. This book selects Java...  Read More >>

Computer Science: Research and Applications

Computer Science: Research and Applications

Author: Ricardo Baeza-Yates ,  U. Manber
ISBN: 9781461365136
Format: Paperback
$145.17

The articles in this collection were presented at the 11th International Conference of the Chilean Computer Science...  Read More >>

Legacy Data: A Structured Methodology for Device Migration in DSM Technology

Legacy Data: A Structured Methodology for Device Migration...

Author: Pallab Chatterjee
ISBN: 9781461349822
Format: Paperback
$290.37

Legacy Data: A Structured Methodology For Device Migration in DSM Technology deals with the migration of existing...  Read More >>

Programming Languages and Systems in Computational Economics and Finance

Programming Languages and Systems in Computational Economics...

Author: Soren Bo Nielsen
ISBN: 9781461353690
Format: Paperback
$448.77

The developments within the computationally and numerically oriented ar­ eas of Operations Research, Finance, Statistics...  Read More >>

Conductor: Distributed Adaptation for Heterogeneous Networks

Conductor: Distributed Adaptation for Heterogeneous...

Author: Mark D. Yarvis ,  Peter Reiher
ISBN: 9781461353904
Format: Paperback
$290.37

Conductor: Distributed Adaptation for Heterogeneous Networks describes a new approach to graceful degradation in...  Read More >>

Synchronizing E-Security

Synchronizing E-Security

Author: Godfried B. Williams
ISBN: 9781461351047
Format: Paperback
$290.37

Synchronizing E-Security is a critical investigation and empirical analysis of studies conducted among companies...  Read More >>

Software Architectures and Component Technology

Software Architectures and Component Technology

Author: Mehmed Aksit
ISBN: 9781461352860
Format: Paperback
$580.77

Software Architectures and Component Technology collects excellent chapters on software architectures and component...  Read More >>

A First Course in Information Theory

A First Course in Information Theory

Author: Raymond W. Yeung
ISBN: 9781461346456
Format: Paperback
$527.97

A First Course in Information Theory is an up-to-date introduction to information theory. In addition to the classical...  Read More >>

OmeGA: A Competent Genetic Algorithm for Solving Permutation and Scheduling Problems

OmeGA: A Competent Genetic Algorithm for Solving Permutation...

Author: Dimitri Knjazew
ISBN: 9781461352495
Format: Paperback
$290.37

OmeGA: A Competent Genetic Algorithm for Solving Permutation and Scheduling Problems addresses two increasingly...  Read More >>

Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language

Grammatical Evolution: Evolutionary Automatic Programming...

Author: Michael O'Neill ,  Conor Ryan
ISBN: 9781461350811
Format: Paperback
$448.77

Provides the comprehensive introduction to Grammatical Evolution, a novel approach to Genetic Programming that adopts...  Read More >>

Algorithms and Computation: 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings

Algorithms and Computation: 23rd International Symposium,...

Author: Kun-Mao Chao ,  Tsan-sheng Hsu
ISBN: 9783642352607
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 23rd International Symposium on Algorithms and Computation,...  Read More >>

Developments in Robust Statistics: International Conference on Robust Statistics 2001

Developments in Robust Statistics: International Conference...

Author: Rudolf Dutter ,  Peter Filzmoser
ISBN: 9783642632419
Format: Paperback
$448.77

Aspects of Robust Statistics are important in many areas. Based on the International Conference on Robust Statistics...  Read More >>

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity: International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Computer Applications for Software Engineering, Disaster...

Author: Tai-hoon Kim ,  Carlos Ramos
ISBN: 9783642352669
Format: Paperback
$145.17

 Read More >>

Handbook of Formal Languages: Volume 3 Beyond Words

Handbook of Formal Languages: Volume 3 Beyond Words...

Author: Grzegorz Rozenberg ,  Arto Salomaa
ISBN: 9783642638596
Format: Paperback
$145.17

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List