University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 1,299 items
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 Entomology newsletter / vol. 1
Entomology newsletter / vol. 1
University of Illinois at Urbana-Champaign. Deptartment of Entomology

Thumbnail for A process-oriented language for describing aspects of reading comprehension
A process-oriented language for describing aspects of reading comprehension
Rubin, Ann D.; Bruce, Bertram C.; Brown, John Seely

Thumbnail for Lower Sangamon River area assessment
Lower Sangamon River area assessment
Submitter: Steven Mccauley