Showing 1 - 20 results of 29 for search 'Pratt, Vaughan R', query time: 0.26s Refine Results
  1. 1
    Shellsort and sorting networks /
    by Pratt, Vaughan R, Pratt, Vaughan R
    Published 1979

    Book
  2. 2
    Shellsort and sorting networks
    by Pratt, Vaughan R
    Published 1971

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  3. 3
    Dynamic algebras : examples, constructions, applications /
    by Pratt, Vaughan R
    Published 1979

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Applications of modal logic to programming /
    by Pratt, Vaughan R
    Published 1978

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  5. 5
    Six lectures on dynamic logic /
    by Pratt, Vaughan R
    Published 1978

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    The competence/performance dichotomy in programming /
    by Pratt, Vaughan R
    Published 1977

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    A linguistics oriented programming language
    by Pratt, Vaughan R
    Published 1973

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Dynamic algebras and the nature of induction /
    by Pratt, Vaughan R
    Published 1980

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    Semantical considerations on Floyd-Hoare logic /
    by Pratt, Vaughan R
    Published 1976

    Book
  10. 10
    Sullied seas : strategies for combating cyanide fishing in Southeast Asia and beyond /
    by Barber, Charles Victor
    Published 1997
    Other Authors: “...Pratt, Vaughan R...”

    Book
  11. 11
    A proof-checker for dynamic logic /
    by Litvintchouk, Steven David
    Published 1977
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Nondeterminism in logics of programs /
    by Harʼel, Daṿid
    Published 1978
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    The mutual exclusion problem for unreliable processes /
    by Rivest, Ronald L
    Published 1977
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    On the specification of concurrent systems /
    by Casley, Ross Thomas
    Published 1991
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  15. 15
    Identification and analysis of curves in digital images /
    by Avrahami, Gideon
    Published 1993
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  16. 16
    Natural language parsing as statistical pattern recognition /
    by Magerman, David M
    Published 1994
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  17. 17
    Chu spaces: a model of concurrency /
    by Gupta, Vineet
    Published 1994
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  18. 18
    Metric process models /
    by Crew, Roger Frederick
    Published 1991
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  19. 19
    New algorithms and primitives for multi-processor coordination /
    by Waarts, Orli
    Published 1992
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  20. 20
    Classification of phonemes using pitch synchronous glottal cycle analysis /
    by Prieto, Ramon Eduardo
    Published 2003
    Other Authors: “...Pratt, Vaughan R...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
Search Tools: Get RSS Feed — Email this Search