University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3271–3300 of 18,068 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 Origins and evolution of modern biochemistry: insights from genomes and molecular structure.
Origins and evolution of modern biochemistry: insights from genomes and molecular structure.
Caetano-Anolles, Gustavo; Sun, Feng-Jie; Wang, Minglei; Yafremava, Liudmila S.; Harish, Ajith; Kim, Hee Shin; Knudsen, Vegeir; Caetano-Anolles, Derek; Mittenthal, Jay E.

Thumbnail for Notes on the Mereology of *Classes
Notes on the Mereology of *Classes
Finkler, Joshua Phillip