Search Results
Showing 71 - 80 of 226 results
Search Results
Automatic verification of programs with complex data structures
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .S9138 1980 | ✔ Available |
Full equations utilities (FEQUTL) model for the approximation of hydraulic characteristics of open channels and control structures during unsteady flow
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | I 19.42/4:97-4037 | ✔ Available |
Java
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.J38 L5 1998 | ✔ Available |
| Joyner - General Stacks | QA76.73.J38 L5 1998 COMPACT DISC | ✔ Available |