University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9361–9390 of 24,425 items
Thumbnail for Verification of Casper in the Coq Proof Assistant
Verification of Casper in the Coq Proof Assistant
Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

Thumbnail for Workstation environment for wastewater treatment design using AI and mathematical models
Workstation environment for wastewater treatment design using AI and mathematical models
Kao, Jehng-Jung; Pfeffer, John T.; Brill Jr., E. Downey; Geselbracht, James J.

Thumbnail for Stationary slug studies
Stationary slug studies
Merrick, William Edward

Thumbnail for Index to Library Trends Volume 47
Index to Library Trends Volume 47
Submitter: Matthew Cordial

Thumbnail for Robust Adaptive Nonlinear Control Under Extended Matching Conditions
Robust Adaptive Nonlinear Control Under Extended Matching Conditions
Kanellakopoulos, Ioannis; Kokotovic, Petar V.; Marino, Riccardo