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

    Book
  2. 2
    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
  3. 3
    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
  4. 4
    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
  5. 5
    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
  6. 6
    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
  7. 7
    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
  8. 8
    Semantical considerations on Floyd-Hoare logic /
    by Pratt, Vaughan R
    Published 1976

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    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
  10. 10
    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
  11. 11
    Harmonic grouping pitch detection and application to speech recognition systems /
    by Mohajer, Keyvan
    Published 2007
    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
  12. 12
    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
  13. 13
    Spatial integration and localization of dynamic sensors /
    by Aarabi, Parham
    Published 2001
    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
  14. 14
    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
  15. 15
    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
  16. 16
    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
  17. 17
    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
  18. 18
    Sullied seas : strategies for combating cyanide fishing in Southeast Asia and beyond /
    by Barber, Charles Victor
    Published 1997
    Other Authors: “...Pratt, Vaughan R...”

    Book
  19. 19
    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
  20. 20
    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
Search Tools: Get RSS Feed — Email this Search