University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9571–9600 of 19,564 items
Thumbnail for access: v.13, no.02, Summer 2000
access: v.13, no.02, Summer 2000
National Center for Supercomputing Applications (NCSA)

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Radiative transfer of ultrasound
Radiative transfer of ultrasound
Turner, Joseph A.; Weaver, Richard L.

Thumbnail for Conceptual readability : new ways to look at text
Conceptual readability : new ways to look at text
Rubin, Andee; Kantor, Robert N.; Davison, Alice; Steinberg, Cindy; Bruce, Bertram C.; Armbruster, Bonnie B.; Gentner, Dedre; Anderson, Thomas H.; Goetz, Ernest T.

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine