Visar resultat för...

Progress in Theoretical Computer Science

47 produkter
Bachmair - Canonical Equational Proofs, Häftad

Canonical Equational Proofs

Av Bachmair

Häftad, Engelska, 1991

719 kr

Skickas inom 7-10 vardagar
G. Zhang - Logic of Domains, Inbunden

Logic of Domains

Av G. Zhang

Inbunden, Engelska, 1991

1 409 kr

Skickas inom 7-10 vardagar
P.-L. Curien, P. -L Curien, P. -L. Curien - Categorical Combinators, Sequential Algorithms, and Functional Programming, Inbunden

Categorical Combinators, Sequential Algorithms, and Functional Programming

Av P.-L. Curien, P. -L Curien, P. -L. Curien

Inbunden, Engelska, 1993

1 409 kr

Skickas inom 7-10 vardagar
A. Sinclair - Algorithms for Random Generation and Counting: A Markov Chain Approach, Inbunden

Algorithms for Random Generation and Counting: A Markov Chain Approach

Av A. Sinclair

Inbunden, Engelska, 1993

1 409 kr

Skickas inom 7-10 vardagar
J. Kobler, U. Schöning, J. Toran - Graph Isomorphism Problem, Inbunden

Graph Isomorphism Problem

Av J. Kobler, U. Schöning, J. Toran

Inbunden, Engelska, 1993

1 409 kr

Skickas inom 7-10 vardagar
Bert van Keulen, B. Van Keulen, Bert Van Keulen, Bert van Keulen, B van Keulen - H-Infinity Control for Distributed Parameter Systems, Inbunden
Del 11 - Progress in Theoretical Computer Science

H-Infinity Control for Distributed Parameter Systems

Av Bert van Keulen, B. Van Keulen, Bert Van Keulen, Bert van Keulen, B van Keulen

Inbunden, Engelska, 1993

1 139 kr

Skickas inom 7-10 vardagar
Howard Straubing - Finite Automata, Formal Logic, and Circuit Complexity, Inbunden

Finite Automata, Formal Logic, and Circuit Complexity

Av Howard Straubing

Inbunden, Engelska, 1994

1 409 kr

Skickas inom 7-10 vardagar
James S. Royer, John Case - Subrecursive Programming Systems, Inbunden

Subrecursive Programming Systems

Av James S. Royer, John Case

Inbunden, Engelska, 1994

1 459 kr

Skickas inom 7-10 vardagar
Dario Bini, Victor Y. Pan, Victor Pan - Polynomial and Matrix Computations, Inbunden

Polynomial and Matrix Computations

Av Dario Bini, Victor Y. Pan, Victor Pan

Inbunden, Engelska, 1994

2 099 kr

Skickas inom 7-10 vardagar
Erwin Engeler - Combinatory Programme, Inbunden

Combinatory Programme

Av Erwin Engeler

Inbunden, Engelska, 1994

1 409 kr

Skickas inom 7-10 vardagar
Peter O'Hearn, Robert Tennent, R. D. Tennent - Algol-like Languages, Inbunden

Algol-like Languages

Av Peter O'Hearn, Robert Tennent, R. D. Tennent

Inbunden, Engelska, 1996

1 409 kr

Skickas inom 7-10 vardagar
Giuseppe Castagna - Object-Oriented Programming A Unified Foundation, Inbunden

Object-Oriented Programming A Unified Foundation

Av Giuseppe Castagna

Inbunden, Engelska, 1997

1 459 kr

Skickas inom 7-10 vardagar
Franck van Breughel, Franck Van Breughel, Frank Van Breugel, F. Van Breugel - Comparative Metric Semantics of Programming Languages, Inbunden

Comparative Metric Semantics of Programming Languages

Av Franck van Breughel, Franck Van Breughel, Frank Van Breugel, F. Van Breugel

Inbunden, Engelska, 1997

1 409 kr

Skickas inom 7-10 vardagar
Peter O'Hearn, Robert Tennent - Algol-like Languages, Häftad

Algol-like Languages

Av Peter O'Hearn, Robert Tennent

Häftad, Engelska, 1996

1 809 kr

Skickas inom 7-10 vardagar
Peter O'Hearn, Robert Tennent, R. D. Tennent - Algol-like Languages, Inbunden

Algol-like Languages

Av Peter O'Hearn, Robert Tennent, R. D. Tennent

Inbunden, Engelska, 1996

1 409 kr

Skickas inom 7-10 vardagar
Hava T. Siegelmann, Hava Siegelmann - Neural Networks and Analog Computation, Inbunden

Neural Networks and Analog Computation

Av Hava T. Siegelmann, Hava Siegelmann

Inbunden, Engelska, 1998

2 099 kr

Skickas inom 7-10 vardagar
Christian Prehofer - Solving Higher-Order Equations, Inbunden

Solving Higher-Order Equations

Av Christian Prehofer

Inbunden, Engelska, 1997

1 409 kr

Skickas inom 7-10 vardagar
Gary D. Knott, Gary Knott, G. D. Knott, G D Knott - Interpolating Cubic Splines, Inbunden
Del 18 - Progress in Theoretical Computer Science

Interpolating Cubic Splines

Av Gary D. Knott, Gary Knott, G. D. Knott, G D Knott

Inbunden, Engelska, 1999

1 209 kr

Skickas inom 7-10 vardagar
James S. Royer, John Case - Subrecursive Programming Systems, Häftad

Subrecursive Programming Systems

Av James S. Royer, John Case

Häftad, Engelska, 2012

1 459 kr

Skickas inom 7-10 vardagar
Dario Bini, Victor Y. Pan, Victor Pan - Polynomial and Matrix Computations, Häftad

Polynomial and Matrix Computations

Av Dario Bini, Victor Y. Pan, Victor Pan

Häftad, Engelska, 2012

2 099 kr

Skickas inom 7-10 vardagar
Howard Straubing - Finite Automata, Formal Logic, and Circuit Complexity, Häftad

Finite Automata, Formal Logic, and Circuit Complexity

Av Howard Straubing

Häftad, Engelska, 2012

1 549 kr

Skickas inom 7-10 vardagar
P.-L. Curien, P. -L Curien, P. -L. Curien - Categorical Combinators, Sequential Algorithms, and Functional Programming, Häftad

Categorical Combinators, Sequential Algorithms, and Functional Programming

Av P.-L. Curien, P. -L Curien, P. -L. Curien

Häftad, Engelska, 2012

1 459 kr

Skickas inom 7-10 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

Av A. Sinclair

Häftad, Engelska, 2012

1 409 kr

Skickas inom 7-10 vardagar
J. Kobler, U. Schöning, J. Toran - Graph Isomorphism Problem, Häftad

Graph Isomorphism Problem

Av J. Kobler, U. Schöning, J. Toran

Häftad, Engelska, 2012

1 409 kr

Skickas inom 7-10 vardagar
T. Streicher, Thomas Streicher - Semantics of Type Theory, Häftad

Semantics of Type Theory

Av T. Streicher, Thomas Streicher

Häftad, Engelska, 2012

1 209 kr

Skickas inom 7-10 vardagar
G. Zhang - Logic of Domains, Häftad

Logic of Domains

Av G. Zhang

Häftad, Engelska, 2012

1 409 kr

Skickas inom 7-10 vardagar
Hava T. Siegelmann, Hava Siegelmann - Neural Networks and Analog Computation, Häftad

Neural Networks and Analog Computation

Av Hava T. Siegelmann, Hava Siegelmann

Häftad, Engelska, 2012

2 099 kr

Skickas inom 7-10 vardagar
Christian Prehofer - Solving Higher-Order Equations, Häftad

Solving Higher-Order Equations

Av Christian Prehofer

Häftad, Engelska, 2012

1 409 kr

Skickas inom 7-10 vardagar
Roberto DiCosmo, Roberto Dicosmo - Isomorphisms of Types, Häftad

Isomorphisms of Types

Av Roberto DiCosmo, Roberto Dicosmo

Häftad, Engelska, 2011

719 kr

Skickas inom 7-10 vardagar
Peter O'Hearn, Robert Tennent - Algol-like Languages, Häftad

Algol-like Languages

Av Peter O'Hearn, Robert Tennent

Häftad, Engelska, 2011

1 409 kr

Skickas inom 7-10 vardagar