Εμφανίζονται 1 - 16 Αποτελέσματα από 16 για την αναζήτηση '"Distinguished dissertations"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    The rapid evaluation of potential fields in particle systems /
    ανά Greengard, Leslie
    Έκδοση 1988
    “…ACM distinguished dissertations…”
    Βιβλίο
  2. 2
    Uses of randomness in algorithms and protocols /
    ανά Kilian, Joe
    Έκδοση 1990
    “…ACM distinguished dissertations…”
    Βιβλίο
  3. 3
    Models of sharing graphs a categorical semantics of let and letrec
    ανά Hasegawa, Masahito
    Έκδοση 1999
    “…Distinguished dissertations…”
    Βιβλίο
  4. 4
    The connection machine
    ανά Hillis, Daniel W.
    Έκδοση 1985
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  5. 5
    Analytic methods in the analysis and design of number - theoretic algorithms
    ανά Bach, Eric
    Έκδοση 1985
    “…ACM distinguished dissertations…”
    Βιβλίο
  6. 6
    Model-Based Image Matching Using Location
    ανά Baird, Henry S.
    Έκδοση 1985
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  7. 7
    Two Issues in Public-Key Cryptography RSA Bit Security and a New Knapsack Type System
    ανά Chor, Ben-Zion
    Έκδοση 1986
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  8. 8
    Synthesis of Digital Designs from Recursion Equations
    ανά Johnson, Steven D.
    Έκδοση 1984
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  9. 9
    Formal specification of interactive graphics programming languages
    ανά Mallgren, William R.
    Έκδοση 1985
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  10. 10
    Abstraction mechanisms and language design
    ανά Hilfinger, Paul
    Έκδοση 1986
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  11. 11
    The design and evaluation of a high performance smalltalk system
    ανά Ungar, David M.
    Έκδοση 1987
    “…ACM Distinguished Dissertations…”
    Βιβλίο
  12. 12
    Logic programming operational semantics and proof theory
    ανά Andrews, James H.
    Έκδοση 1992
    “…Distinguished dissertations in computer science…”
    Βιβλίο
  13. 13
    Specification and proof in real-time CPS
    ανά Davies, J.
    Έκδοση 1993
    “…Distinguished Dissertations in Computer Science…”
    Βιβλίο
  14. 14
    Efficient algorithms for listing combinatorial structures /
    ανά Goldberg, Leslie Ann
    Έκδοση 1993
    “…Distinguished dissertations in computer science…”
    Βιβλίο
  15. 15
    Action refinement in process algebras
    ανά Aceto, Luca
    Έκδοση 1992
    “…Distinguished Dissertations in Computer Science…”
    Βιβλίο
  16. 16
    Extensional constructs in intensional type theory
    ανά Hofmann, Martin
    Έκδοση 1997
    “…CPHC/BCS distinguished dissertations…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email