Search Results
Showing 1 - 8 of 8 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 2004 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Formal methods in computer-aided design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.65 .F53 1998 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Computation engineering
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.M35 G665 2006 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)