Progress in Theoretical Computer Science – serie

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

38 produkter

1. 

   Canonical Equational Proofs

   Av Bachmair

   Häftad, 1991

   709 kr

   Lägg i varukorg

2. 

   Logic of Domains

   Av G. Zhang

   Inbunden, 1991

   1449 kr

   Lägg i varukorg

3. 

   Categorical Combinators, Sequential Algorithms, and Functional Programming

   Av P.-L. Curien

   Inbunden, 1993

   1409 kr

   Lägg i varukorg

4. 

   Algorithms for Random Generation and Counting: A Markov Chain Approach

   Av A. Sinclair

   Inbunden, 1993

   1409 kr

   Lägg i varukorg

5. 

   Graph Isomorphism Problem

   Its Structural Complexity

   Av J. Kobler, U. Schöning m. fl.

   Inbunden, 1993

   1409 kr

   Lägg i varukorg

6. 

   H-Infinity Control for Distributed Parameter Systems

   A State-Space Approach

   Av Bert van Keulen

   Inbunden, 1993

   1129 kr

   Lägg i varukorg

7. 

   Finite Automata, Formal Logic, and Circuit Complexity

   Av Howard Straubing

   Inbunden, 1994

   1449 kr

   Lägg i varukorg

8. 

   Subrecursive Programming Systems

   Complexity & Succinctness

   Av James S. Royer, John Case

   Inbunden, 1994

   1449 kr

   Lägg i varukorg

9. 

   Polynomial and Matrix Computations

   Fundamental Algorithms

   Av Dario Bini, Victor Y. Pan

   Inbunden, 1994

   2109 kr

   Lägg i varukorg

10. 

    Combinatory Programme

    Av Erwin Engeler

    Inbunden, 1994

    1409 kr

    Lägg i varukorg

11. 

    Algol-like Languages

    Av Peter O'Hearn, Robert Tennent

    Inbunden, 1996

    1409 kr

    Lägg i varukorg

12. 

    Object-Oriented Programming A Unified Foundation

    Av Giuseppe Castagna

    Inbunden, 1997

    1449 kr

    Lägg i varukorg

13. 

    Comparative Metric Semantics of Programming Languages

    Nondeterminism and Recursion

    Av Franck van Breughel

    Inbunden, 1997

    1449 kr

    Lägg i varukorg

14. 

    Algol-like Languages

    Av Peter O'Hearn, Robert Tennent

    Inbunden, 1996

    1409 kr

    Lägg i varukorg

15. 

    Neural Networks and Analog Computation

    Beyond the Turing Limit

    Av Hava T. Siegelmann

    Inbunden, 1998

    2169 kr

    Lägg i varukorg

16. 

    Solving Higher-Order Equations

    From Logic to Programming

    Av Christian Prehofer

    Inbunden, 1997

    1409 kr

    Lägg i varukorg

17. 

    Interpolating Cubic Splines

    Av Gary D. Knott

    Inbunden, 1999

    1199 kr

    Lägg i varukorg

18. 

    Subrecursive Programming Systems

    Complexity & Succinctness

    Av James S. Royer, John Case

    Häftad, 2012

    1449 kr

    Lägg i varukorg

19. 

    Polynomial and Matrix Computations

    Fundamental Algorithms

    Av Dario Bini, Victor Y. Pan

    Häftad, 2012

    2109 kr

    Lägg i varukorg

20. 

    Finite Automata, Formal Logic, and Circuit Complexity

    Av Howard Straubing

    Häftad, 2012

    1549 kr

    Lägg i varukorg

21. 

    Categorical Combinators, Sequential Algorithms, and Functional Programming

    Av P.-L. Curien

    Häftad, 2012

    1449 kr

    Lägg i varukorg

22. 

    Algorithms for Random Generation and Counting: A Markov Chain Approach

    Av A. Sinclair

    Häftad, 2012

    1409 kr

    Lägg i varukorg

23. 

    Graph Isomorphism Problem

    Its Structural Complexity

    Av J. Kobler, U. Schöning m. fl.

    Häftad, 2012

    1409 kr

    Lägg i varukorg

24. 

    Semantics of Type Theory

    Correctness, Completeness and Independence Results

    Av T. Streicher

    Häftad, 2012

    1199 kr

    Lägg i varukorg

25. 

    Logic of Domains

    Av G. Zhang

    Häftad, 2012

    1409 kr

    Lägg i varukorg

26. 

    Neural Networks and Analog Computation

    Beyond the Turing Limit

    Av Hava T. Siegelmann

    Häftad, 2012

    2109 kr

    Lägg i varukorg

27. 

    Solving Higher-Order Equations

    From Logic to Programming

    Av Christian Prehofer

    Häftad, 2012

    1409 kr

    Lägg i varukorg

28. 

    Isomorphisms of Types

    from ?-calculus to information retrieval and language design

    Av Roberto DiCosmo

    Häftad, 2011

    709 kr

    Lägg i varukorg

29. 

    Algol-like Languages

    Av Peter O'Hearn, Robert Tennent

    Häftad, 2011

    1409 kr

    Lägg i varukorg

30. 

    Object-Oriented Programming A Unified Foundation

    Av Giuseppe Castagna

    Häftad, 2011

    1449 kr

    Lägg i varukorg