Hoppa till sidans huvudinnehåll

Progress in Theoretical Computer Science – serie

Visar alla böcker i serien Progress in Theoretical Computer Science.
38 produkter
Bachmair - Canonical Equational Proofs, Häftad

Canonical Equational Proofs

AvBachmair

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

G. Zhang - Logic of Domains, Inbunden

Logic of Domains

AvG. Zhang

Inbunden, Engelska, 1991

1 439 kr

Skickas inom 10-15 vardagar

P.-L. Curien - Categorical Combinators, Sequential Algorithms, and Functional Programming, Inbunden

Categorical Combinators, Sequential Algorithms, and Functional Programming

AvP.-L. Curien

Inbunden, Engelska, 1993

1 399 kr

Skickas inom 10-15 vardagar

A. Sinclair - Algorithms for Random Generation and Counting: A Markov Chain Approach, Inbunden

Algorithms for Random Generation and Counting: A Markov Chain Approach

AvA. Sinclair

Inbunden, Engelska, 1993

1 399 kr

Skickas inom 10-15 vardagar

J. Kobler, U. Schöning, J. Toran - Graph Isomorphism Problem, Inbunden

Graph Isomorphism Problem

Its Structural Complexity

AvJ. Kobler,U. Schöningm. fl.

Inbunden, Engelska, 1993

1 399 kr

Skickas inom 10-15 vardagar

Bert van Keulen - H-Infinity Control for Distributed Parameter Systems, Inbunden
Del 11 - Progress in Theoretical Computer Science

H-Infinity Control for Distributed Parameter Systems

A State-Space Approach

AvBert van Keulen

Inbunden, Engelska, 1993

1 119 kr

Skickas inom 10-15 vardagar

Howard Straubing - Finite Automata, Formal Logic, and Circuit Complexity, Inbunden

Finite Automata, Formal Logic, and Circuit Complexity

AvHoward Straubing

Inbunden, Engelska, 1994

1 439 kr

Skickas inom 10-15 vardagar

James S. Royer, John Case - Subrecursive Programming Systems, Inbunden

Subrecursive Programming Systems

Complexity & Succinctness

AvJames S. Royer,John Case

Inbunden, Engelska, 1994

1 439 kr

Skickas inom 10-15 vardagar

Dario Bini, Victor Y. Pan - Polynomial and Matrix Computations, Inbunden

Polynomial and Matrix Computations

Fundamental Algorithms

AvDario Bini,Victor Y. Pan

Inbunden, Engelska, 1994

2 099 kr

Skickas inom 10-15 vardagar

Erwin Engeler - Combinatory Programme, Inbunden

Combinatory Programme

AvErwin Engeler

Inbunden, Engelska, 1994

1 399 kr

Skickas inom 10-15 vardagar

Peter O'Hearn, Robert Tennent - Algol-like Languages, Inbunden

Algol-like Languages

AvPeter O'Hearn,Robert Tennent

Inbunden, Engelska, 1996

1 399 kr

Skickas inom 10-15 vardagar

Giuseppe Castagna - Object-Oriented Programming A Unified Foundation, Inbunden

Object-Oriented Programming A Unified Foundation

AvGiuseppe Castagna

Inbunden, Engelska, 1997

1 439 kr

Skickas inom 10-15 vardagar

Franck van Breughel - Comparative Metric Semantics of Programming Languages, Inbunden

Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

AvFranck van Breughel

Inbunden, Engelska, 1997

1 439 kr

Skickas inom 10-15 vardagar

Peter O'Hearn, Robert Tennent - Algol-like Languages, Inbunden

Algol-like Languages

AvPeter O'Hearn,Robert Tennent

Inbunden, Engelska, 1996

1 399 kr

Skickas inom 10-15 vardagar

Hava T. Siegelmann - Neural Networks and Analog Computation, Inbunden

Neural Networks and Analog Computation

Beyond the Turing Limit

AvHava T. Siegelmann

Inbunden, Engelska, 1998

2 159 kr

Skickas inom 10-15 vardagar

Christian Prehofer - Solving Higher-Order Equations, Inbunden

Solving Higher-Order Equations

From Logic to Programming

AvChristian Prehofer

Inbunden, Engelska, 1997

1 399 kr

Skickas inom 10-15 vardagar

Gary D. Knott - Interpolating Cubic Splines, Inbunden
Del 18 - Progress in Theoretical Computer Science

Interpolating Cubic Splines

AvGary D. Knott

Inbunden, Engelska, 1999

1 189 kr

Skickas inom 10-15 vardagar

James S. Royer, John Case - Subrecursive Programming Systems, Häftad

Subrecursive Programming Systems

Complexity & Succinctness

AvJames S. Royer,John Case

Häftad, Engelska, 2012

1 439 kr

Skickas inom 10-15 vardagar

Dario Bini, Victor Y. Pan - Polynomial and Matrix Computations, Häftad

Polynomial and Matrix Computations

Fundamental Algorithms

AvDario Bini,Victor Y. Pan

Häftad, Engelska, 2012

2 099 kr

Skickas inom 10-15 vardagar

Howard Straubing - Finite Automata, Formal Logic, and Circuit Complexity, Häftad

Finite Automata, Formal Logic, and Circuit Complexity

AvHoward Straubing

Häftad, Engelska, 2012

1 539 kr

Skickas inom 10-15 vardagar

P.-L. Curien - Categorical Combinators, Sequential Algorithms, and Functional Programming, Häftad

Categorical Combinators, Sequential Algorithms, and Functional Programming

AvP.-L. Curien

Häftad, Engelska, 2012

1 439 kr

Skickas inom 10-15 vardagar

A. Sinclair - Algorithms for Random Generation and Counting: A Markov Chain Approach, Häftad

Algorithms for Random Generation and Counting: A Markov Chain Approach

AvA. Sinclair

Häftad, Engelska, 2012

1 399 kr

Skickas inom 10-15 vardagar

J. Kobler, U. Schöning, J. Toran - Graph Isomorphism Problem, Häftad

Graph Isomorphism Problem

Its Structural Complexity

AvJ. Kobler,U. Schöningm. fl.

Häftad, Engelska, 2012

1 399 kr

Skickas inom 10-15 vardagar

T. Streicher - Semantics of Type Theory, Häftad

Semantics of Type Theory

Correctness, Completeness and Independence Results

AvT. Streicher

Häftad, Engelska, 2012

1 189 kr

Skickas inom 10-15 vardagar

G. Zhang - Logic of Domains, Häftad

Logic of Domains

AvG. Zhang

Häftad, Engelska, 2012

1 399 kr

Skickas inom 10-15 vardagar

Hava T. Siegelmann - Neural Networks and Analog Computation, Häftad

Neural Networks and Analog Computation

Beyond the Turing Limit

AvHava T. Siegelmann

Häftad, Engelska, 2012

2 099 kr

Skickas inom 10-15 vardagar

Christian Prehofer - Solving Higher-Order Equations, Häftad

Solving Higher-Order Equations

From Logic to Programming

AvChristian Prehofer

Häftad, Engelska, 2012

1 399 kr

Skickas inom 10-15 vardagar

Roberto DiCosmo - Isomorphisms of Types, Häftad

Isomorphisms of Types

from ?-calculus to information retrieval and language design

AvRoberto DiCosmo

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar

Peter O'Hearn, Robert Tennent - Algol-like Languages, Häftad

Algol-like Languages

AvPeter O'Hearn,Robert Tennent

Häftad, Engelska, 2011

1 399 kr

Skickas inom 10-15 vardagar

Giuseppe Castagna - Object-Oriented Programming A Unified Foundation, Häftad

Object-Oriented Programming A Unified Foundation

AvGiuseppe Castagna

Häftad, Engelska, 2011

1 439 kr

Skickas inom 10-15 vardagar