Search Results - Correctness (computer science)

Suggested Topics within your search.
Refine Results
  1. 1
    Proving programs correct

    Proving programs correct by Anderson, Robert Brockett 1941-

    Published 1979
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    Codes for detecting and correcting unidirectional errors

    Codes for detecting and correcting unidirectional errors by Blaum, Mario 1951-

    Published 1993
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  3. 3
    Cleaning up a computer mess a guide to diagnosing and correcting computer problems

    Cleaning up a computer mess a guide to diagnosing and correcting computer problems by Perry, William E

    Published 1986
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  4. 4
    Mathematical theory of program correctness

    Mathematical theory of program correctness by Bakker, J. W. de 1939- Jacobs Willem de

    Published 1980
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  5. 5
    Designing correct circuits proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

    Designing correct circuits proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  6. 6
    Essays in computing science

    Essays in computing science by Hoare, C. A. R. 1934- Charles Antony Richard

    Published 1989
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  7. 7
    C++ and C debugging, testing, and reliability the prevention, detection, and correction of program errors

    C++ and C debugging, testing, and reliability the prevention, detection, and correction of program errors by Spuler, David 1969-

    Published 1994
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  8. 8
    Applied algebra, algorithmics and error-correcting codes 9th International Conference, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings

    Applied algebra, algorithmics and error-correcting codes 9th International Conference, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings

    Published 1991
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  9. 9
    Discrete mathematics with computer science applications

    Discrete mathematics with computer science applications by Skvarcius, Romualdas, Robinson, William B

    Published 1986
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  10. 10
    An introduction to computer science using java

    An introduction to computer science using java by Kamin, Samuel N., Mickunas, M. Dennis

    Published 2002
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  11. 11
    Automated defect prevention best practices in software management

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

    Published 2007
    Subjects:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  12. 12
    Error coding for arithmetic processors

    Error coding for arithmetic processors by Rao, Thammavarapu R. N. 1933-

    Published 1974
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  13. 13
    Garbage in, gorgeous out text and graphics translation

    Garbage in, gorgeous out text and graphics translation by Garnett, Walt

    Published 1995
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  14. 14
    DATA AND COMPUTER COMMUNICATIONS

    DATA AND COMPUTER COMMUNICATIONS by Stallings, William

    Published 2014
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  15. 15
    CALCULUS FOR BUSINESS, ECONOMICS, LIFE SCIENCES, AND SOCIAL SCIENCES

    CALCULUS FOR BUSINESS, ECONOMICS, LIFE SCIENCES, AND SOCIAL SCIENCES by Barnet, Raymond A., Zieglier, Michael R.

    Published 1996
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  16. 16
    A First Course in FUZZY LOGIC

    A First Course in FUZZY LOGIC by Nguyen, Hung T. 1944-, Walker, E. 1930- Elbert

    Published 2006
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  17. 17
    The Internet research handbook a practical guide for students and researchers in the social sciences

    The Internet research handbook a practical guide for students and researchers in the social sciences by O' Dochartaigh, Niall

    Published 2002
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  18. 18
    Exercises in computer systems analysis

    Exercises in computer systems analysis by Everling, Wolfgang

    Published 1975
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  19. 19
    The Internet research handbook a practical guide for students and researchers in the social sciences

    The Internet research handbook a practical guide for students and researchers in the social sciences by O Dochartaigh, Niall

    Published 2002
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  20. 20
    Coded-modulation techniques for fading channels

    Coded-modulation techniques for fading channels by Jamali, S. Hamidreza 1955-

    Published 1994
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: