Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση '"Progress in Theoretical Computer Science"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Semantics of type theory : correctness, completeness, and independence results /
    ανά Streicher, Thomas, 1958-
    Έκδοση 1991
    “…Progress in theoretical computer science…”
    Βιβλίο
  2. 2
    Neural networks and analog computation : Beyond the Turing limit /
    ανά Siegelmann, Hava T.
    Έκδοση 1999
    “…Progress in theoretical computer science…”
    Βιβλίο
  3. 3
    Comparative metric semantics of programming languages nondeterminism and recursion
    ανά Breugel, Franck van 1966-
    Έκδοση 1998
    “…Progress in theoretical computer science…”
    Βιβλίο
  4. 4
    Subrecursive Programming Systems Complexity and Succinctness
    ανά Case, John, Royer, James S.
    Έκδοση 1994
    “…Progress in Theoretical Computer Science…”
    Βιβλίο
  5. 5
    Verifying temporal properties of systems
    ανά Bradfield, Julian Charles
    Έκδοση 1992
    “…Progress in theoretical computer science…”
    Βιβλίο
  6. 6
    Polynomial and matrix computations
    ανά Bini, Dario
    Έκδοση 1994
    “…Progress in theoretical computer science…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email