Search Results
Showing 1 - 10 of 10 results
Search Results
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .L595 1984 | ✔ Available |
Automata and computability
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .K69 1997 | ✔ Available |
The design and analysis of algorithms
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A43 K69 1992 | ✔ Available |
Mathematics of program construction
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .M6926 2004 | ✔ Available |