Showing 1 - 16 results of 16 for search '"Distinguished dissertations"', query time: 0.03s Refine Results
  1. 1
    The rapid evaluation of potential fields in particle systems /
    by Greengard, Leslie
    Published 1988
    “…ACM distinguished dissertations…”
    Book
  2. 2
    Uses of randomness in algorithms and protocols /
    by Kilian, Joe
    Published 1990
    “…ACM distinguished dissertations…”
    Book
  3. 3
    Models of sharing graphs a categorical semantics of let and letrec
    by Hasegawa, Masahito
    Published 1999
    “…Distinguished dissertations…”
    Book
  4. 4
    The connection machine
    by Hillis, Daniel W.
    Published 1985
    “…ACM Distinguished Dissertations…”
    Book
  5. 5
    Formal specification of interactive graphics programming languages
    by Mallgren, William R.
    Published 1985
    “…ACM Distinguished Dissertations…”
    Book
  6. 6
    Abstraction mechanisms and language design
    by Hilfinger, Paul
    Published 1986
    “…ACM Distinguished Dissertations…”
    Book
  7. 7
    The design and evaluation of a high performance smalltalk system
    by Ungar, David M.
    Published 1987
    “…ACM Distinguished Dissertations…”
    Book
  8. 8
    Analytic methods in the analysis and design of number - theoretic algorithms
    by Bach, Eric
    Published 1985
    “…ACM distinguished dissertations…”
    Book
  9. 9
    Model-Based Image Matching Using Location
    by Baird, Henry S.
    Published 1985
    “…ACM Distinguished Dissertations…”
    Book
  10. 10
    Two Issues in Public-Key Cryptography RSA Bit Security and a New Knapsack Type System
    by Chor, Ben-Zion
    Published 1986
    “…ACM Distinguished Dissertations…”
    Book
  11. 11
    Synthesis of Digital Designs from Recursion Equations
    by Johnson, Steven D.
    Published 1984
    “…ACM Distinguished Dissertations…”
    Book
  12. 12
    Extensional constructs in intensional type theory
    by Hofmann, Martin
    Published 1997
    “…CPHC/BCS distinguished dissertations…”
    Book
  13. 13
    Logic programming operational semantics and proof theory
    by Andrews, James H.
    Published 1992
    “…Distinguished dissertations in computer science…”
    Book
  14. 14
    Specification and proof in real-time CPS
    by Davies, J.
    Published 1993
    “…Distinguished Dissertations in Computer Science…”
    Book
  15. 15
    Efficient algorithms for listing combinatorial structures /
    by Goldberg, Leslie Ann
    Published 1993
    “…Distinguished dissertations in computer science…”
    Book
  16. 16
    Action refinement in process algebras
    by Aceto, Luca
    Published 1992
    “…Distinguished Dissertations in Computer Science…”
    Book
Search Tools: RSS Feed – Email Search