Search Results

Suggested Topics within your search.
  • Showing 1 - 17 results of 17
Refine Results
  1. 1
    Cover Image

    Variations on constants flow analysis of sequential and parallel programs / by Müller-Olm, Markus

    Published 2006
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    On reductions and livelocks in asynchronous parallel computation / by Kwong, Yat-Sang

    Published 1982
    Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Correctness preserving program refinements : proof theory and applications / by Back, R. J. R.

    Published 1980
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Artificial unintelligence : how computers misunderstand the world / by Broussard, Meredith

    Published 2018
    Full Text (via ProQuest)
    eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994 /

    Published 1995
    Conference Proceeding Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    Concurrency, compositionality, and correctness essays in honor of Willem-Paul De Roever /

    Published 2010
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Automated defect prevention : best practices in software management / by Huizinga, Dorota

    Published 2007
    Full Text (via IEEE)
    eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Artificial unintelligence : how computers misunderstand the world / by Broussard, Meredith

    Published 2018
    Book

    Save to List
    Saved in:
  9. 9
    Cover Image

    Variations on constants flow analysis of sequential and parallel programs / by Müller-Olm, Markus

    Published 2006
    Electronic eBook

    Save to List
    Saved in:
  10. 10
    Cover Image

    Ruggedized minicomputer hardware and software topics - 1981.

    Published 1981
    Search for the full-text version of this title in HathiTrust
    Government Document Conference Proceeding Book

    Save to List
    Saved in:
  11. 11
    Cover Image

    Artificial Unintelligence / by Broussard, Meredith

    Published 2019
    Streaming Audio (via O'Reilly/Safari)
    Electronic Audio

    Save to List
    Saved in:
  12. 12
    Cover Image

    Automated defect prevention best practices in software management / by Huizinga, Dorota

    Published 2007
    Full Text (via Wiley)
    Electronic eBook

    Save to List
    Saved in:
  13. 13
    Cover Image

    Artificial unintelligence : how computers misunderstand the world / by Broussard, Meredith

    Published 2019
    Streaming Audio (via Skillsoft)
    Electronic Audio

    Save to List
    Saved in:
  14. 14
    Cover Image

    Automated defect prevention : best practices in software management / by Huizinga, Dorota

    Published 2007
    Contributor biographical information
    Publisher description
    Book

    Save to List
    Saved in:
  15. 15
    Cover Image

    Accuracy and Reliability in Scientific Computing.

    Published 2005
    Full Text (via SIAM)
    Electronic eBook

    Save to List
    Saved in:
  16. 16
    Cover Image

    The Correctness problem in computer science /

    Published 1981
    Book

    Save to List
    Saved in:
  17. 17
    Cover Image

    Proceedings - Symposium on Logic in Computer Science.

    Published 1986
    Request a PDF (UCB only)
    Conference Proceeding

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search