Mathematical theory of computation books

11093 books were found.

A Course in Computational Algebraic Number Theory

A Course in Computational Algebraic Number Theory

Author: Henri Cohen
ISBN: 9783642081422
Format: Paperback
$237.47

With the advent of powerful computing tools and numerous advances in math­ ematics, computer science and cryptography,...  Read More >>

Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and...

Author: Klaus Schneider
ISBN: 9783642055553
Format: Paperback
$287.76

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities...  Read More >>

System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

System Modeling and Optimization: Proceedings of the...

Author: John Cagnol ,  Jean Paul Zolesio
ISBN: 9781441954336
Format: Paperback
$462.00

The practical applications of system modeling and optimization can be seen in a number of fields. This work collects...  Read More >>

Principles of 3D Image Analysis and Synthesis

Principles of 3D Image Analysis and Synthesis

Author: Bernd Girod ,  Günther Greiner
ISBN: 9781441949820
Format: Paperback
$525.36

 Read More >>

Introduction to Circuit Complexity: A Uniform Approach

Introduction to Circuit Complexity: A Uniform Approach...

Author: Heribert Vollmer
ISBN: 9783642083983
Format: Paperback
$314.16

This advanced textbook presents a broad view of the computational complexity theory of boolean circuits. It combines...  Read More >>

Knowledge Discovery and Measures of Interest

Knowledge Discovery and Measures of Interest

Author: Robert J. Hilderman ,  Howard J. Hamilton
ISBN: 9781441949134
Format: Paperback
$525.36

 Read More >>

Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design and Co-Verification

Author: Jean-Michel Bergé ,  Oz Levia
ISBN: 9781441951595
Format: Paperback
$580.77

Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software....  Read More >>

Economics of Information Security

Economics of Information Security

Author: L. Jean Camp ,  Stephen Lewis
ISBN: 9781441954732
Format: Paperback
$446.16

Economics of Information Security applies economics not to generate breakthroughs in theoretical economics, but...  Read More >>

Many Rational Points: Coding Theory and Algebraic Geometry

Many Rational Points: Coding Theory and Algebraic Geometry...

Author: N.E. Hurt
ISBN: 9789048164967
Format: Paperback
$630.96

Presents a comprehensive treatment of the results on algebraic geometry as they apply to coding theory and cryptography,...  Read More >>

Bifurcations and Periodic Orbits of Vector Fields

Bifurcations and Periodic Orbits of Vector Fields

Author: Dana Schlomiuk
ISBN: 9789048143030
Format: Paperback
$1011.12

The recent developments show that no rigid frontiers between disciplines exist and that interesting new developments...  Read More >>

One-Factorizations

One-Factorizations

Author: W.D. Wallis
ISBN: 9781441947666
Format: Paperback
$620.40

 Read More >>

Stochastic and Global Optimization

Stochastic and Global Optimization

Author: G. Dzemyda ,  V. Saltenis
ISBN: 9781441952097
Format: Paperback
$330.00

 Read More >>

The Quadratic Assignment Problem: Theory and Algorithms

The Quadratic Assignment Problem: Theory and Algorithms...

Author: E. Cela
ISBN: 9781441947864
Format: Paperback
$448.77

The quadratic assignment problem (QAP) was introduced in 1957 by Koopmans and Beckmann to model a plant location...  Read More >>

Advances in Modeling Agricultural Systems

Advances in Modeling Agricultural Systems

Author: Petraq Papajorgji ,  Panos M. Pardalos
ISBN: 9781441945259
Format: Paperback
$340.56

 Read More >>

Discrete Variational Derivative Method: A Structure-Preserving Numerical Method for Partial Differential Equations

Discrete Variational Derivative Method: A Structure-Preserving...

Author: Daisuke Furihata ,  Takayasu Matsuo
ISBN: 9781420094459
Format: Hardback
$273.00

Many important problems in engineering and science are modeled by nonlinear partial differential equations (PDEs)....  Read More >>

Modern Cryptography, Probabilistic Proofs and Pseudorandomness

Modern Cryptography, Probabilistic Proofs and Pseudorandomness...

Author: Oded Goldreich
ISBN: 9783642084324
Format: Paperback
$340.56

Whereas classical cryptography was confined to the art of designing and breaking encryption schemes (or ""secrecy...  Read More >>

Approximation Algorithms

Approximation Algorithms

Author: Vijay V. Vazirani
ISBN: 9783642084690
Format: Paperback
$145.07

Part I covers combinatorial algorithms for a number of important problems, using a wide variety of algorithm design...  Read More >>

Formal Engineering for Industrial Software Development: Using the SOFL Method

Formal Engineering for Industrial Software Development:...

Author: Shaoying Liu
ISBN: 9783642058271
Format: Paperback
$340.56

Liu advocates incorporation of mathematical notation into the software engineering process, thus substantially improving...  Read More >>

Knowledge Sharing in the Integrated Enterprise: Interoperability Strategies for the Enterprise Architect

Knowledge Sharing in the Integrated Enterprise: Interoperability...

Author: Peter Bernus ,  Mark Fox
ISBN: 9781441938930
Format: Paperback
$498.96

The practice of engineering enterprises needs a number of models. This volume attacks the problem on three fronts:...  Read More >>

Trusted Recovery and Defensive Information Warfare

Trusted Recovery and Defensive Information Warfare

Author: Peng Liu ,  Sushil Jajodia
ISBN: 9781441949264
Format: Paperback
$393.36

Trusted Recovery And Defensive Information Warfare uses database trusted recovery, as an example, to illustrate...  Read More >>

Cooperative Control: Models, Applications and Algorithms

Cooperative Control: Models, Applications and Algorithms...

Author: Sergiy Butenko ,  Robert Murphey
ISBN: 9781441952417
Format: Paperback
$594.00

During the last decades, considerable progress has been observed in all aspects regarding the study of cooperative...  Read More >>

Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods

Performance of Communication Systems: A Model-Based...

Author: Alexander Ost
ISBN: 9783642074707
Format: Paperback
$393.36

Facilities for quickly accessing existing information and for the fast delivery of information have become one of...  Read More >>

GeoComputational Modelling: Techniques and Applications

GeoComputational Modelling: Techniques and Applications...

Author: Manfred M. Fischer ,  Yee Leung
ISBN: 9783642075490
Format: Paperback
$393.36

Geocomputation may be viewed as the application of a computational science paradigm to study a wide range of problems...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List