Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση '"Progress in Theoretical Computer Science"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  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
    Verifying temporal properties of systems
    ανά Bradfield, Julian Charles
    Έκδοση 1992
    “…Progress in theoretical computer science…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email