Search Results
Showing 1 - 10 of 10 results
Search Results
A Directory of computer software applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA1 .D57X 1970-79 | ✔ Available |
Algebraic theory of processes
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.M35 H46 1988 | ✔ Available |
Computational problems in abstract algebra
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA266.C59 1970 | ✔ Available |
Abstract data types and Modula-2
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.M63 M58 1992 | ✔ Available |
Abstract compositional analysis of iterated relations
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A23 G48 1998 | ✔ Available |
Adapting proofs-as-programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.54 .P64 2005 | ✔ Available |
Automata, languages and programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .I55 2003 | ✔ Available |