Progress in Theoretical Computer Science – serie

Visar alla böcker i serien Progress in Theoretical Computer Science.

38 produkter

Kategorier

38 produkter

Canonical Equational Proofs
AvBachmair
Häftad, Engelska, 1991
719 kr
Skickas inom 10-15 vardagar
Logic of Domains
AvG. Zhang
Inbunden, Engelska, 1991
1 479 kr
Skickas inom 10-15 vardagar
Categorical Combinators, Sequential Algorithms, and Functional Programming
AvP.-L. Curien
Inbunden, Engelska, 1993
1 439 kr
Skickas inom 10-15 vardagar
Algorithms for Random Generation and Counting: A Markov Chain Approach
AvA. Sinclair
Inbunden, Engelska, 1993
1 439 kr
Skickas inom 10-15 vardagar
Graph Isomorphism Problem
Its Structural Complexity
AvJ. Kobler,U. Schöningm. fl.
Inbunden, Engelska, 1993
1 439 kr
Skickas inom 10-15 vardagar
Del 11
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 149 kr
Skickas inom 10-15 vardagar
Finite Automata, Formal Logic, and Circuit Complexity
AvHoward Straubing
Inbunden, Engelska, 1994
1 479 kr
Skickas inom 10-15 vardagar
Subrecursive Programming Systems
Complexity & Succinctness
AvJames S. Royer,John Case
Inbunden, Engelska, 1994
1 479 kr
Skickas inom 10-15 vardagar
Polynomial and Matrix Computations
Fundamental Algorithms
AvDario Bini,Victor Y. Pan
Inbunden, Engelska, 1994
2 149 kr
Skickas inom 10-15 vardagar
Combinatory Programme
AvErwin Engeler
Inbunden, Engelska, 1994
1 439 kr
Skickas inom 10-15 vardagar
Algol-like Languages
AvPeter O'Hearn,Robert Tennent
Inbunden, Engelska, 1996
1 439 kr
Skickas inom 10-15 vardagar
Object-Oriented Programming A Unified Foundation
AvGiuseppe Castagna
Inbunden, Engelska, 1997
1 479 kr
Skickas inom 10-15 vardagar
Comparative Metric Semantics of Programming Languages
Nondeterminism and Recursion
AvFranck van Breughel
Inbunden, Engelska, 1997
1 479 kr
Skickas inom 10-15 vardagar
Algol-like Languages
AvPeter O'Hearn,Robert Tennent
Inbunden, Engelska, 1996
1 439 kr
Skickas inom 10-15 vardagar
Neural Networks and Analog Computation
Beyond the Turing Limit
AvHava T. Siegelmann
Inbunden, Engelska, 1998
2 209 kr
Skickas inom 10-15 vardagar
Solving Higher-Order Equations
From Logic to Programming
AvChristian Prehofer
Inbunden, Engelska, 1997
1 439 kr
Skickas inom 10-15 vardagar
Del 18
Del 18 - Progress in Theoretical Computer Science
Interpolating Cubic Splines
AvGary D. Knott
Inbunden, Engelska, 1999
1 219 kr
Skickas inom 10-15 vardagar
Subrecursive Programming Systems
Complexity & Succinctness
AvJames S. Royer,John Case
Häftad, Engelska, 2012
1 479 kr
Skickas inom 10-15 vardagar
Polynomial and Matrix Computations
Fundamental Algorithms
AvDario Bini,Victor Y. Pan
Häftad, Engelska, 2012
2 149 kr
Skickas inom 10-15 vardagar
Finite Automata, Formal Logic, and Circuit Complexity
AvHoward Straubing
Häftad, Engelska, 2012
1 579 kr
Skickas inom 10-15 vardagar
Categorical Combinators, Sequential Algorithms, and Functional Programming
AvP.-L. Curien
Häftad, Engelska, 2012
1 479 kr
Skickas inom 10-15 vardagar
Algorithms for Random Generation and Counting: A Markov Chain Approach
AvA. Sinclair
Häftad, Engelska, 2012
1 439 kr
Skickas inom 10-15 vardagar
Graph Isomorphism Problem
Its Structural Complexity
AvJ. Kobler,U. Schöningm. fl.
Häftad, Engelska, 2012
1 439 kr
Skickas inom 10-15 vardagar
Semantics of Type Theory
Correctness, Completeness and Independence Results
AvT. Streicher
Häftad, Engelska, 2012
1 219 kr
Skickas inom 10-15 vardagar
Logic of Domains
AvG. Zhang
Häftad, Engelska, 2012
1 439 kr
Skickas inom 10-15 vardagar
Neural Networks and Analog Computation
Beyond the Turing Limit
AvHava T. Siegelmann
Häftad, Engelska, 2012
2 149 kr
Skickas inom 10-15 vardagar
Solving Higher-Order Equations
From Logic to Programming
AvChristian Prehofer
Häftad, Engelska, 2012
1 439 kr
Skickas inom 10-15 vardagar
Isomorphisms of Types
from ?-calculus to information retrieval and language design
AvRoberto DiCosmo
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar
Algol-like Languages
AvPeter O'Hearn,Robert Tennent
Häftad, Engelska, 2011
1 439 kr
Skickas inom 10-15 vardagar
Object-Oriented Programming A Unified Foundation
AvGiuseppe Castagna
Häftad, Engelska, 2011
1 479 kr
Skickas inom 10-15 vardagar

Progress in Theoretical Computer Science – serie

Canonical Equational Proofs

Logic of Domains

Categorical Combinators, Sequential Algorithms, and Functional Programming

Algorithms for Random Generation and Counting: A Markov Chain Approach

Graph Isomorphism Problem

H-Infinity Control for Distributed Parameter Systems

Finite Automata, Formal Logic, and Circuit Complexity

Subrecursive Programming Systems

Polynomial and Matrix Computations

Combinatory Programme

Algol-like Languages

Object-Oriented Programming A Unified Foundation

Comparative Metric Semantics of Programming Languages

Algol-like Languages

Neural Networks and Analog Computation

Solving Higher-Order Equations

Interpolating Cubic Splines

Subrecursive Programming Systems

Polynomial and Matrix Computations

Finite Automata, Formal Logic, and Circuit Complexity

Categorical Combinators, Sequential Algorithms, and Functional Programming

Algorithms for Random Generation and Counting: A Markov Chain Approach

Graph Isomorphism Problem

Semantics of Type Theory

Logic of Domains

Neural Networks and Analog Computation

Solving Higher-Order Equations

Isomorphisms of Types

Algol-like Languages

Object-Oriented Programming A Unified Foundation