University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4171–4200 of 12,181 items
Thumbnail for It says here / 1948-52
It says here / 1948-52
Submitter: Howard Ding

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 Ground-Water Resources of DuPage County, Illinois
Ground-Water Resources of DuPage County, Illinois
Zeizel, Arthur J.; Walton, William Clarence; Sasman, Robert T.; Prickett, Thomas A.

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems
Maximal Causal Models for Sequentially Consistent Systems
Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore