University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3601–3630 of 8,470 items
Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for access: v.25, no.03, Fall 2012
access: v.25, no.03, Fall 2012
National Center for Supercomputing Applications (NCSA)

Thumbnail for Annual Report 1963-64
Annual Report 1963-64
Submitter: Anna Gerard

Thumbnail for It says here / 1953-59
It says here / 1953-59
Submitter: Howard Ding

Thumbnail for Atmospheric Environment of the Lake Michigan Drainage Basin
Atmospheric Environment of the Lake Michigan Drainage Basin
Gatz, Donald F.; Changnon, Stanley A., Jr.

Thumbnail for Additional Content 2
Additional Content 2
Submitter: Howard Ding