Mathematical theory of computation books

11092 books were found.

Optimization and Industry: New Frontiers

Optimization and Industry: New Frontiers

Author: Panos M. Pardalos ,  Victor Korotkikh
ISBN: 9781461379539
Format: Paperback
$448.77

Optimization from Human Genes to Cutting Edge Technologies The challenges faced by industry today are so complex...  Read More >>

Optimization Theory: Recent Developments from Mátraháza

Optimization Theory: Recent Developments from Mátraháza...

Author: F. Giannessi ,  Panos M. Pardalos
ISBN: 9781461379836
Format: Paperback
$290.37

Special thanks are directed to our sponsors, the Hun­ garian Academy of Sciences, the National Committee for Technological...  Read More >>

Reliabilities of Consecutive-k Systems

Reliabilities of Consecutive-k Systems

Author: Chung In-Hang ,  Lirong Cui
ISBN: 9781461379720
Format: Paperback
$290.37

The consecutive-k system was first studied around 1980, and it soon became a very popular subject. The system is...  Read More >>

Finite Geometries: Proceedings of the Fourth Isle of Thorns Conference

Finite Geometries: Proceedings of the Fourth Isle of...

Author: Aart Blokhuis ,  James W.P. Hirschfeld
ISBN: 9781461379775
Format: Paperback
$448.77

The Third Conference in 1990 was published as Advances in Finite Geometries and Designs by Oxford University Press...  Read More >>

Optical Networks — Recent Advances: Recent Advances

Optical Networks — Recent Advances: Recent Advances...

Author: Lu Ruan ,  Ding-Zhu Du
ISBN: 9781461379812
Format: Paperback
$448.77

The paper by Ellinas and Bala, ""Wavelength Assignment Algorithms for WDM Ring Architectures,"" presents two optimal...  Read More >>

Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics

Symbolic Computation, Number Theory, Special Functions,...

Author: Frank G. Garvan ,  Mourad E.H. Ismail
ISBN: 9781461379645
Format: Paperback
$290.37

These are the proceedings of the conference ""Symbolic Computation, Number Theory, Special Functions, Physics and...  Read More >>

Nearrings: Some Developments Linked to Semigroups and Groups

Nearrings: Some Developments Linked to Semigroups and...

Author: G. Ferrero
ISBN: 9781461379690
Format: Paperback
$739.17

This work presents new and old constructions of nearrings. Links between properties of the multiplicative of nearrings...  Read More >>

Multilevel Optimization: Algorithms and Applications

Multilevel Optimization: Algorithms and Applications...

Author: A. Migdalas ,  Panos M. Pardalos
ISBN: 9781461379898
Format: Paperback
$580.77

Researchers working with nonlinear programming often claim ""the word is non­ linear"" indicating that real applications...  Read More >>

Modeling Languages in Mathematical Optimization

Modeling Languages in Mathematical Optimization

Author: Josef Kallrath
ISBN: 9781461379454
Format: Paperback
$580.77

Presents a different combination of modeling and solving real world optimization problems. This book provides an...  Read More >>

Recent Developments in Cooperative Control and Optimization

Recent Developments in Cooperative Control and Optimization...

Author: Sergiy Butenko ,  Robert Murphey
ISBN: 9781461379478
Format: Paperback
$290.37

Over the past several years, cooperative control and optimization has un­ questionably been established as one of...  Read More >>

Newton Methods for Nonlinear Problems: Affine Invariance and Adaptive Algorithms

Newton Methods for Nonlinear Problems: Affine Invariance...

Author: Peter Deuflhard
ISBN: 9783642238987
Format: Paperback
$197.87

 Read More >>

Object-Oriented Database Programming

Object-Oriented Database Programming

Author: Suad Alagic
ISBN: 9781461281375
Format: Paperback
$145.17

One of the reasons that influenced my decision to write this book is my dissatisfaction with the fact that the existing...  Read More >>

Highlights aus der Informatik

Highlights aus der Informatik

Author: Ingo Wegener
ISBN: 9783642646560
Format: Paperback
$158.37

Dieser Band enthält die Beiträge einer Ringvorlesung Highlights aus der Informatik an der Universität Dortmund,...  Read More >>

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

Coloured Petri Nets: Basic Concepts, Analysis Methods...

Author: Kurt Jensen
ISBN: 9783642645563
Format: Paperback
$290.37

The volume presents the most important ideas and experiences from the projects, in a way which is useful also for...  Read More >>

Isomorphisms of Types: from ?-calculus to information retrieval and language design

Isomorphisms of Types: from ?-calculus to information...

Author: Roberto DiCosmo
ISBN: 9781461275855
Format: Paperback
$145.17

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be...  Read More >>

Switching Networks: Recent Advances

Switching Networks: Recent Advances

Author: Ding-Zhu Du ,  Hung Q. Ngo
ISBN: 9781461379768
Format: Paperback
$290.37

Contains various developments in switching networks and applications, including classic topics, such as nonblocking...  Read More >>

Feasible Mathematics II

Feasible Mathematics II

Author: Peter Clote ,  Jeffrey B. Remmel
ISBN: 9781461275824
Format: Paperback
$145.17

an alternative way of looking at NP problems is introduced which focuses on which pa­ rameters of the problem are...  Read More >>

An Introduction to Functional Analysis in Computational Mathematics: An Introduction

An Introduction to Functional Analysis in Computational...

Author: V.I. Lebedev
ISBN: 9781461286660
Format: Paperback
$145.17

The book contains the methods and bases of functional analysis that are directly adjacent to the problems of numerical...  Read More >>

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion

Comparative Metric Semantics of Programming Languages:...

Author: Franck van Breughel
ISBN: 9781461286806
Format: Paperback
$290.37

During the last three decades several different styles of semantics for program­ ming languages have been developed....  Read More >>

Randomized Algorithms: Approximation, Generation, and Counting

Randomized Algorithms: Approximation, Generation, and...

Author: Russ Bubley
ISBN: 9781447111801
Format: Paperback
$290.37

Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental...  Read More >>

Foundations of Computational Mathematics, Minneapolis 2002

Foundations of Computational Mathematics, Minneapolis...

Author: Felipe Cucker (City University of Hong Kong) ,  Ron DeVore (University of South Carolina)
ISBN: 9781139106962
Format: Undefined
$435.60

This volume, first published in 2004, contains the plenary invited talks given at main conference in the subject....  Read More >>

Information Flow: The Logic of Distributed Systems

Information Flow: The Logic of Distributed Systems

Author: Jon Barwise (Indiana University) ,  Jerry Seligman (University of Auckland)
ISBN: 9780511895968
Format: Undefined
$435.60

This book presents a mathematically rigorous, philosophically sound foundation for a science of information based...  Read More >>

Domains and Lambda-Calculi

Domains and Lambda-Calculi

Author: Roberto M. Amadio (Université de Provence) ,  Pierre-Louis Curien (Ecole Normale Supérieure, Paris)
ISBN: 9780511983504
Format: Undefined
$435.60

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide...  Read More >>

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Proof Theory: A selection of papers from the Leeds Proof...

Author: Peter Aczel (University of Manchester) ,  Harold Simmons (University of Manchester)
ISBN: 9780511896262
Format: Undefined
$435.60

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference...  Read More >>

Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction

Author: Davide Sangiorgi ,  Jan Rutten (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam)
ISBN: 9780511792588
Format: Undefined
$435.60

This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics....  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List