Showing 1 - 20 results of 1,040 for search 'Massachusetts Institute of Technology, Laboratory for Computer Science,', query time: 8.43s Refine Results
  1. 1
    The revised MACLISP manual /
    by Pitman, Kent M
    Published 1983
    “...Massachusetts Institute of Technology, Laboratory for Computer Science,...”

    Book
  2. 2
    Introductory MACSYMA documentation : a collection of papers /
    Published 1982
    “...Laboratory for Computer Science, Massachusetts Institute of Technology,...”

    Book
  3. 3
    Concurrent timestamping made simple /
    by Gawlick, Rainer
    Published 1992
    “...Laboratory for Computer Science, Massachusetts Institute of Technology,...”

    Thesis Book
  4. 4
    A process algebraic view of I/O automata /
    by Segala, Roberto, 1968-
    Published 1992
    “...Laboratory for Computer Science, Massachusetts Institute of Technology,...”

    Thesis Book
  5. 5
    Combinatorial geometric optimization /
    by Kravets, Dina
    Published 1992
    “...Laboratory for Computer Science, Massachusetts Institute of Technology,...”

    Thesis Book
  6. 6
    Control and reliability of optical networks in multiprocessors /
    by Olsen, James Jonathan
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  7. 7
    A history of CLU /
    by Liskov, B
    Published 1993
    “...Laboratory for Computer Science, Massachusetts Institute of Technology,...”

    Book
  8. 8
    Reasoning with time dependent data /
    by Russ, Thomas A
    Published 1991
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  9. 9
    Family values : a behavioral notion of subtyping /
    by Liskov, B
    Published 1993
    “...Massachusetts Institute of Technology, Laboratory for Computer science,...”

    Book
  10. 10
    Concurrent garbage collection of persistent heaps /
    by Nettles, Scott M
    Published 1993
    “...Massachusetts Institute of Technology, Laboratory for Computer Science,...”

    Book
  11. 11
    Closing the window of vulnerability in multiphase memory transaction : the Alewife transaction store /
    by Kubiatowicz, John
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  12. 12
    Compiler analysis to implement point-to-point synchronization in parallel programs /
    by Nguyen, John
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  13. 13
    Exploiting specifications to improve program performance /
    by Vandevoorde, Mark T
    Published 1994
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  14. 14
    A decompositional search algorithm for efficient diagnosis of multiple disorders /
    by Wu, Thomas Dee
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  15. 15
    HYDI : a hybrid system with feedback for diagnosing multiple disorders /
    by Jang, Yeona
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
  16. 16
    I-95 : the information market /
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Book
  17. 17
    Fair cryptosystems /
    by Micali, Silvio
    Published 1994
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Book
  18. 18
    Proceedings of the 1993 MIT student workshop on supercomputing technologies /
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Book
  19. 19
    Reordering with Hindsight /
    by Spiers, Bradford T
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Book
  20. 20
    Virtual wires : overcoming pin limitations in FPGA-based logic emulation /
    by Babb, Jonathan William
    Published 1993
    “...Massachusetts Institute of Technology. Laboratory for Computer Science,...”

    Thesis Book
Search Tools: Get RSS Feed — Email this Search