Search Results
Showing 1 - 10 of 40 results
Search Results
Algebra, geometry, and software systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA155.7.E4 I55 2003 | ✔ Available |
The seventeen provers of the world
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.54 S48 2006 | ✔ Available |
Relational methods in computer science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76 .R437 2005 | ✔ Available |
NIST sparse BLAS user's guide
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | C 13.58:6744 | ✔ Available |
Computer algebra with LISP and REDUCE
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA155.7.E4 B72 1991 | ✔ Available |