Suggested Topics within your search.
Showing 1 - 20 results of 33 for search '', query time: 0.11s Refine Results
  1. 1
    Model checkers in software testing
    by Black, Paul E.
    Published 2002
    Government Document Microfilm Book
    Save to List
    Saved in:
  2. 2
    Proceedings of the ... Joint WOSP/SIPEW International Conference on Performance Engineering : WOSP/SIPEW
    Published 2010
    Conference Proceeding Software
    Save to List
    Saved in:
  3. 3
    A people's history of computing in the United States
    by Rankin, Joy Lisi, 1976-
    Published 2018
    Connect to this title online (unlimited simultaneous users allowed; 365 uses per year)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Y2K aftermath--crisis averted : final committee report : summary of committee findings
    Published 2000
    Government Document Book
    Save to List
    Saved in:
  5. 5
    FPGA-accelerated simulation of computer systems
    Connect to this title online
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    A people's history of computing in the United States
    by Rankin, Joy Lisi, 1976-
    Published 2018
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    The matrix : revolutions
    Published 2003
    Video DVD
    Save to List
    Saved in:
  8. 8
    Investigating the year 2000 problem the 100 day report : summary of committee findings
    Published 1999
    Government Document Microfilm Book
    Save to List
    Saved in:
  9. 9
    Journal of Internet law.
    Published 1997
    Journal
    Save to List
    Saved in:
  10. 10
    Breakthrough technology project management
    by Lientz, Bennet P.
    Published 1999
    Book
    Save to List
    Saved in:
  11. 11
    12th International Conference on Information Systems and Advanced Technologies "ICISAT 2022" : intelligent information, data science and decision support system
    Published 2023
    Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Proceedings of the EuroSys .... conference.
    Published 2006
    Serial
    Save to List
    Saved in:
  13. 13
    Modern Nagios : successful strategies and practices for monitoring servers, networks and apps
    Published 2016
    View this video online (unlimited users allowed)
    Electronic Video
    Save to List
    Saved in:
  14. 14
    Mechanizing proof : computing, risk, and trust
    by MacKenzie, Donald A.
    Published 2001
    Book
    Save to List
    Saved in:
  15. 15
    An analysis of existing ontological systems for applications in manufacturing and healthcare
    Published 1999
    Government Document Microfilm Book
    Save to List
    Saved in:
  16. 16
    Power-efficient computer architectures : recent advances
    Connect to this title online
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Analytical performance modeling for computer systems
    by Tay, Y. C.
    Published 2018
    Connect to this title online
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Meta-algorithmics : patterns for robust, low-cost, high-quality systems
    by Simske, Steven J.
    Published 2013
    Connect to Meta-algorithmics : patterns for robust, low-cost, high-quality systems
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Decidability of parameterized verification
    Connect to this title online
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    Quantitative assessments of distributed systems : methodologies and techniques
    Published 2015
    Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)
    Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search