University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 571–600 of 1,752 items
Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Regional Assessment of Northern Illinois Ground-water Resources
Regional Assessment of Northern Illinois Ground-water Resources
Nealon, John S.; Kirk, James R.; Visocky, Adrian P.

Thumbnail for A guide to British Parliamentary papers
A guide to British Parliamentary papers
Rodgers, Frank; Phelps, Rose B.

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Annual register. 1921-22
Annual register. 1921-22
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1925-26
Annual register. 1925-26
University of Illinois at Urbana-Champaign

Thumbnail for Inorganic seminar abstracts. 1969-70
Inorganic seminar abstracts. 1969-70
University of Illinois at Urbana-Champaign. Deptartment of Chemistry

Thumbnail for Water Supply Planning: Middle Illinois Assessment of Water Resources for Water Supply-Final Report
Water Supply Planning: Middle Illinois Assessment of Water Resources for Water Supply-Final Report
Kelly, Walton R.; Abrams, Daniel B.; Knapp, H. Vernon; Zhang, Zhenxing; Dziegielewski, Benedykt; Hadley, Daniel R.; Roadcap, George S.; Mannix, Devin H.; Lian, Yanqing; Meyer, Scott C.; Thomason, Jason F.