University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8971–9000 of 57,926 items
Thumbnail for Learning to Verify Branching Time Properties
Learning to Verify Branching Time Properties
Vardhan, Abhay; Viswanathan, Mahesh

Thumbnail for Optimal cooperative power-limited rendezvous
Optimal cooperative power-limited rendezvous
Coverstone-Carroll, Victoria Lynn

Thumbnail for Quantified Epistemic Logic
Quantified Epistemic Logic
Tienson, John Leander

Thumbnail for The development of a reflector enamel
The development of a reflector enamel
Morgan, William Ray, b. 1898.; Charles, Andrew Hoyle, Jr.

Thumbnail for T-Levels and T-Convexity
T-Levels and T-Convexity
Tyne, James Michael