Search Results
Showing 1 - 10 of 13 results
Search Results
Application of a self-adaptive grid method to complex flows
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:102223 | ✔ Available |
Domains and lambda-calculi
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .A43 1998 | ✔ Available |
Predicate calculus and program semantics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.35.D55 1990 | ✔ Available |