University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 667 items
Thumbnail for Dynamic Maintenance of Planar Digraphs, with Applications
Dynamic Maintenance of Planar Digraphs, with Applications
Tamassia, Roberto; Preparata, Franco P.

Thumbnail for Complexity bounds for the verification of real-time software
Complexity bounds for the verification of real-time software
Chadha, Rohit; Legay, Axel; Prabhakar, Pavithra; Viswanathan, Mahesh