University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3391–3420 of 9,289 items
Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael

Thumbnail for Adaptive mesh refinement in topology optimization
Adaptive mesh refinement in topology optimization
Salazar De Troya, Miguel Angel A.

Thumbnail for Toward a definition of digital object reuse
Toward a definition of digital object reuse
Kenfield, Ayla Stein; Woolcott, Liz; Thompson, Santi; Kelly, Elizabeth Joan; Shiri, Ali; Muglia, Caroline; Masood, Kinza; Chapman, Joyce; Jefferson, Derrick; Morales, Myrna E.