Search Results
You searched for:
subject
"Integrated circuits+Design and construction.+Data processing.+Congresses."
Remove constraint
Showing 1 - 10 of 12 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Computer-aided verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .D553 1990A | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Correct hardware design and verification methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.75 .A39 1995 | ✔ Available |
 :/LC.GIF&client=easterncarolinaedu)
Hardware specification, verification, and synthesis
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .H385 1990 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Formal methods in computer-aided design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.65 .F53 1996 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Correct hardware design and verification methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .A3353 1993 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem provers in circuit design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874.65 .T54 1995 | ✔ Available |