University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 4,563 items
Thumbnail for Mobile Application Services Based Upon Open Urban Government Data
Mobile Application Services Based Upon Open Urban Government Data
Mainka, Agnes; Hartmann, Sarah; Meschede, Christine; Stock, Wolfgang G.

Thumbnail for Euripides' Heracles 858-73
Euripides' Heracles 858-73
Franzino, Elizabeth

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é