Sök

Subrecursive Programming Systems

Complexity & Succinctness

AvJames S. Royer,John Case

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Canonical Equational Proofs

AvBachmair

Häftad, Engelska, 1991

689 kr

Skickas inom 10-15 vardagar

Logic of Domains

AvG. Zhang

Inbunden, Engelska, 1991

1 369 kr

Skickas inom 10-15 vardagar

Categorical Combinators, Sequential Algorithms, and Functional Programming

AvP.-L. Curien,P. -L Curien m. fl.

Inbunden, Engelska, 1993

1 369 kr

Skickas inom 10-15 vardagar

Algorithms for Random Generation and Counting: A Markov Chain Approach

AvA. Sinclair

Inbunden, Engelska, 1993

1 369 kr

Skickas inom 10-15 vardagar

Graph Isomorphism Problem

Its Structural Complexity

AvJ. Kobler,U. Schöning m. fl.

Inbunden, Engelska, 1993

1 369 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,Netherlands) van Keulen, Bert (University of Groningen m. fl.

Inbunden, Engelska, 1993

1 099 kr

Skickas inom 10-15 vardagar

Finite Automata, Formal Logic, and Circuit Complexity

AvHoward Straubing

Inbunden, Engelska, 1994

1 369 kr

Skickas inom 10-15 vardagar

Subrecursive Programming Systems

Complexity & Succinctness

AvJames S. Royer,John Case

Inbunden, Engelska, 1994

1 409 kr

Skickas inom 10-15 vardagar

Polynomial and Matrix Computations

Fundamental Algorithms

AvDario Bini,Victor Y. Pan m. fl.

Inbunden, Engelska, 1994

2 029 kr

Skickas inom 10-15 vardagar

Combinatory Programme

AvErwin Engeler

Inbunden, Engelska, 1994

1 369 kr

Skickas inom 10-15 vardagar

Algol-like Languages

AvPeter O'Hearn,Robert Tennent m. fl.

Inbunden, Engelska, 1996

1 369 kr

Skickas inom 10-15 vardagar

Object-Oriented Programming A Unified Foundation

AvGiuseppe Castagna

Inbunden, Engelska, 1997

1 409 kr

Skickas inom 10-15 vardagar

Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

AvFranck van Breughel,Franck Van Breughel m. fl.

Inbunden, Engelska, 1997

1 369 kr

Skickas inom 10-15 vardagar

Algol-like Languages

AvPeter O'Hearn,Robert Tennent m. fl.

Inbunden, Engelska, 1996

1 369 kr

Skickas inom 10-15 vardagar

Neural Networks and Analog Computation

Beyond the Turing Limit

AvHava T. Siegelmann,Hava Siegelmann

Inbunden, Engelska, 1998

2 029 kr

Skickas inom 10-15 vardagar

Solving Higher-Order Equations

From Logic to Programming

AvChristian Prehofer

Inbunden, Engelska, 1997

1 369 kr

Skickas inom 10-15 vardagar

Del 18

Del 18 - Progress in Theoretical Computer Science

Interpolating Cubic Splines

AvGary D. Knott,Gary Knott m. fl.

Inbunden, Engelska, 1999

1 159 kr

Skickas inom 10-15 vardagar

Polynomial and Matrix Computations

Fundamental Algorithms

AvDario Bini,Victor Y. Pan m. fl.

Häftad, Engelska, 2012

2 029 kr

Skickas inom 10-15 vardagar

Finite Automata, Formal Logic, and Circuit Complexity

AvHoward Straubing

Häftad, Engelska, 2012

1 509 kr

Skickas inom 10-15 vardagar

Categorical Combinators, Sequential Algorithms, and Functional Programming

AvP.-L. Curien,P. -L Curien m. fl.

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar

Algorithms for Random Generation and Counting: A Markov Chain Approach

AvA. Sinclair

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Graph Isomorphism Problem

Its Structural Complexity

AvJ. Kobler,U. Schöning m. fl.

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Semantics of Type Theory

Correctness, Completeness and Independence Results

AvT. Streicher,Thomas Streicher

Häftad, Engelska, 2012

1 159 kr

Skickas inom 10-15 vardagar

Logic of Domains

AvG. Zhang

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Neural Networks and Analog Computation

Beyond the Turing Limit

AvHava T. Siegelmann,Hava Siegelmann

Häftad, Engelska, 2012

2 029 kr

Skickas inom 10-15 vardagar

Solving Higher-Order Equations

From Logic to Programming

AvChristian Prehofer

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Isomorphisms of Types

from ?-calculus to information retrieval and language design

AvRoberto DiCosmo,Roberto Dicosmo

Häftad, Engelska, 2011

689 kr

Skickas inom 10-15 vardagar

Algol-like Languages

AvPeter O'Hearn,Robert Tennent

Häftad, Engelska, 2011

1 369 kr

Skickas inom 10-15 vardagar

Object-Oriented Programming A Unified Foundation

AvGiuseppe Castagna

Häftad, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar

Progress in Theoretical Computer Science

Subrecursive Programming Systems

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

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

Loading component...

Loading component...

Progress in Theoretical Computer Science

Subrecursive Programming Systems

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

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

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration