Search Results
Showing 21 - 30 of 127 results
Search Results
Formal methods for industrial applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TJ288 .F59 1996 | ✔ Available |
| Joyner - General Stacks | TJ288 .F59 1996 COMPACT DISC | ✔ Available |
Computer-aided control systems engineering
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TJ213.7 .C64 1985 | ✔ Available |
Metamathematics, machines, and Gödel's proof
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.65 .S53 1994 | ✔ Available |
Laboratory automation using the IBM PC
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TJ223.M53 G38 1989 | ✔ Available |