University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7081–7110 of 14,762 items
Thumbnail for Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for A Finite Method for The Analysis of  Nozzle Openings in Shells of Revolution
A Finite Method for The Analysis of Nozzle Openings in Shells of Revolution
Mohraz, Bijan; Schnobrich, William C.; Gupta, Ajaya K.

Thumbnail for Tests of plain concrete columns
Tests of plain concrete columns
Burch, George Francis; Heany, Arthur Noble

Thumbnail for British Government in British Columbia
British Government in British Columbia
Hardenbergh, William Spencer