Mathematical theory of computation books

11103 books were found.

Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

Foundations of Information and Knowledge Systems: 6th...

Author: Sebastian Link ,  Henri Prade
ISBN: 9783642118289
Format: Paperback
$219.12

Constitutes the refereed post-conference proceedings of the Sixth International Symposium on Foundations of Information...  Read More >>

CATBox: An Interactive Course in Combinatorial Optimization

CATBox: An Interactive Course in Combinatorial Optimization...

Author: Winfried Hochstättler ,  Alexander Schliep
ISBN: 9783540148876
Format: Paperback
$158.27

CATBox consists of a software system for animating graph algorithms and a course book developed simultaneously....  Read More >>

Resource-Adaptive Cognitive Processes

Resource-Adaptive Cognitive Processes

Author: Matthew W. Crocker ,  Jörg Siekmann
ISBN: 9783540894070
Format: Hardback
$340.56

This book explores the adaptation of cognitive processes to limited resources. It deals with resource-bounded and...  Read More >>

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

Concurrency, Compositionality, and Correctness: Essays...

Author: Dennis Dams ,  Ulrich Hannemann
ISBN: 9783642115110
Format: Paperback
$219.12

After all, wasn’tit“almostdone”alreadyattheretirementeventinJuly2008?Theanswer is twofold: we gave everyone ample...  Read More >>

High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers

High Performance Computing and Applications: Second...

Author: Wu Zhang ,  Zhangxin Chen
ISBN: 9783642118418
Format: Paperback
$282.48

The Second International Conference on High-Performance Computing and Appli- tions (HPCA 2009) was a follow-up event...  Read More >>

Graphen- und Netzwerkoptimierung

Graphen- und Netzwerkoptimierung

Author: Christina Büsing ,  Christina Busing
ISBN: 9783827424228
Format: Paperback
$79.07

Anhand vieler Praxissituationen werden die Begriffe der Graphentheorie und Netzwerkoptimierung eingeführt und die...  Read More >>

Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies

Transactions on Computational Systems Biology XII: Special...

Author: Corrado Priami ,  Rainer Breitling
ISBN: 9783642117114
Format: Paperback
$258.72

Devoted to inter- and multidisciplinary research in the fields of computer science and life sciences, this book...  Read More >>

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

Automata for Branching and Layered Temporal Structures:...

Author: Gabriele Puppis
ISBN: 9783642118807
Format: Paperback
$190.08

The results presented represent a significant step towards a better understanding of the changes in granularity...  Read More >>

Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings

Formal Concept Analysis: 8th International Conference,...

Author: Léonard Kwuida ,  Baris Sertkaya
ISBN: 9783642119279
Format: Paperback
$219.12

The ICFCA conference series aims to be the prime forum for dissemination of advances in applied lattice and order...  Read More >>

Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VII: 7th...

Author: Matteo Baldoni ,  Jamal Bentahar
ISBN: 9783642113543
Format: Paperback
$190.08

 Read More >>

Ad Hoc Networks: First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers

Ad Hoc Networks: First International Conference, ADHOCNETS...

Author: Shiwen Mao ,  Scott Midkiff
ISBN: 9783642117220
Format: Paperback
$409.20

Ad hoc networks refer to the wireless networking paradigm that covers a variety of network forms for specific purposes,...  Read More >>

A Survey of Statistical Network Models

A Survey of Statistical Network Models

Author: Anna Goldenberg ,  Alice X. Zheng
ISBN: 9781601983206
Format: Paperback
$224.40

Provides an overview of the historical development of statistical network modelling and then introduces a number...  Read More >>

Transactions on Computational Science VII

Transactions on Computational Science VII

Author: C. J. Kenneth Tan ,  C. J. Kenneth Tan
ISBN: 9783642113888
Format: Paperback
$258.72

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational...  Read More >>

Nanotechnology: Science and Computation

Nanotechnology: Science and Computation

Author: Junghuei Chen ,  Natasha Jonoska
ISBN: 9783642067754
Format: Paperback
$290.37

 Read More >>

Bioinformatics

Bioinformatics

Author: Andrzej Polanski ,  Marek Kimmel
ISBN: 9783642063329
Format: Paperback
$237.47

In this comprehensive textbook, Polanski and Kimmel present mathematical models in bioinformatics and they describe...  Read More >>

Applications of Membrane Computing

Applications of Membrane Computing

Author: Gabriel Ciobanu ,  Mario J. Pérez-Jiménez
ISBN: 9783642064012
Format: Paperback
$340.56

 Read More >>

The Variational Bayes Method in Signal Processing

The Variational Bayes Method in Signal Processing

Author: Václav Šmídl ,  Anthony Quinn
ISBN: 9783642066900
Format: Paperback
$261.36

 Read More >>

Enterprise Ontology: Theory and Methodology

Enterprise Ontology: Theory and Methodology

Author: Jan Dietz
ISBN: 9783642067150
Format: Paperback
$211.07

Offers a starting point for understanding the organization of an enterprise and subsequently for analyzing, (re)designing,...  Read More >>

Scientific Visualization: The Visual Extraction of Knowledge from Data

Scientific Visualization: The Visual Extraction of Knowledge...

Author: Georges-Pierre Bonneau ,  Thomas Ertl
ISBN: 9783642065392
Format: Paperback
$446.16

Topics include user issues in visualization, large data visualization, unstructured mesh processing for visualization,...  Read More >>

Model-Driven Design Using Business Patterns

Model-Driven Design Using Business Patterns

Author: Pavel Hruby
ISBN: 9783642067655
Format: Paperback
$237.47

 Read More >>

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software...

Author: Dines Bjørner
ISBN: 9783642059414
Format: Paperback
$303.60

Emphasis is placed on what goes into proper domain descriptions and requirements prescriptions, how one acquires...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List