Search Results
You searched for:
subject
"Digital integrated circuits+Design and construction.+Data processing."
Remove constraint
Showing 1 - 7 of 7 results
Search Results
Computer-aided verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .D553 1990A | ✔ Available |
Theory of CMOS digital circuits and circuit failures
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7871.99.M44 S525 1992 | ✔ Available |
Formal methods in computer-aided design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.65 .F53 1996 | ✔ Available |
Theorem provers in circuit design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.65 .T54 1995 | ✔ Available |