Search Results
You searched for:
subject
"Computers+Circuits.+Design and construction."
Remove constraint
Showing 31 - 40 of 140 results
Search Results
Formal hardware verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.75 .F67 1997 | ✔ Available |
Computer-aided verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .D553 1990A | ✔ Available |
Secure integrated circuits and systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .S43 2010 | ✔ Available |
VLSI CAD tools and applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .V5572 1987 | ✔ Available |
Formal methods in computer-aided design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.65 .F53 2004 | ✔ Available |