University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–18 of 18 items
Thumbnail for A Study and Toolkit for Asynchronous Programming in C#
A Study and Toolkit for Asynchronous Programming in C#
Okur, Semih; Hartveld, David L.; Dig, Danny; Deursen, Arie van

Thumbnail for Enabling modern concurrency through program transformations
Enabling modern concurrency through program transformations
Okur, Semih

Thumbnail for Refactoring meets Spreadsheet Formulas
Refactoring meets Spreadsheet Formulas
Badame, Sandro

Thumbnail for Refactoring meets spreadsheet formulas
Refactoring meets spreadsheet formulas
Badame, Sandro

Thumbnail for Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
Okur, Semih; Erdogan, Cansu; Dig, Danny

Thumbnail for Investigation of Nuclear Pore Complex Protein Interactions and the Implications for Nuclear Transport
Investigation of Nuclear Pore Complex Protein Interactions and the Implications for Nuclear Transport
Isgro, Timothy A.

Thumbnail for Expression Profiling of Transgenic Arabidopsis Over- and Underexpressing SR45, a Plant-Specific Serine /Arginine -Rich Factor
Expression Profiling of Transgenic Arabidopsis Over- and Underexpressing SR45, a Plant-Specific Serine /Arginine -Rich Factor
Balasubramanian, Dheepa

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Regression test selection: theory and practice
Regression test selection: theory and practice
Gligoric, Milos Zivko

Thumbnail for Automated code compliance checking in the construction domain using semantic natural language processing and logic-based reasoning
Automated code compliance checking in the construction domain using semantic natural language processing and logic-based reasoning
Zhang, Jiansong

Thumbnail for Decision Procedures for Equationally Based Reasoning
Decision Procedures for Equationally Based Reasoning
Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning
Decision Procedures for Equationally Based Reasoning
Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning
Decision Procedures for Equationally Based Reasoning
Hendrix, Joseph D.

Thumbnail for Students' directory. 1898-1910/11
Students' directory. 1898-1910/11
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1910-1911
Annual register. 1910-1911
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1911-1912
Annual register. 1911-1912
University of Illinois at Urbana-Champaign

Thumbnail for University of Illinois directory, listing the 35,000 persons who have ever been connected with the Urbana-Champaign departments, including officers of instruction and administration and 1397 deceased
University of Illinois directory, listing the 35,000 persons who have ever been connected with the Urbana-Champaign departments, including officers of instruction and administration and 1397 deceased
Phelps, Vergil Vivian

Thumbnail for The semi-centennial alumni record of the University of Illinois
The semi-centennial alumni record of the University of Illinois
Scott, Frank William