Research Catalog

  • Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan.

    • Text
    • [Fairmont, W. Va.] : West Virginia University ; [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997
  • Verification and validation of KBS with neural network components [microform] / by Wu Wen and John Callahan.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996
  • Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997
  • Political handbook of the world, 2016-2017 [electronic resource] / edited by Tom Lansford ; associate editors, John Callahan [and four others].

    • Text
    • Thousand Oaks, California : CQ Press, [2017]
    • 2017-2017
    • 2 Resources

    Available Online

    See All Available Online Resources

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta