Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση '"Distinguished Dissertations in Computer Science"', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic programming operational semantics and proof theory
    ανά Andrews, James H.
    Έκδοση 1992
    “…Distinguished dissertations in computer science…”
    Βιβλίο
  2. 2
    Specification and proof in real-time CPS
    ανά Davies, J.
    Έκδοση 1993
    “…Distinguished Dissertations in Computer Science…”
    Βιβλίο
  3. 3
    Efficient algorithms for listing combinatorial structures /
    ανά Goldberg, Leslie Ann
    Έκδοση 1993
    “…Distinguished dissertations in computer science…”
    Βιβλίο
  4. 4
    Action refinement in process algebras
    ανά Aceto, Luca
    Έκδοση 1992
    “…Distinguished Dissertations in Computer Science…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email