Search Results
Showing 1 - 10 of 142 results
Search Results
CAD systems using AI techniques
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TA174 .I133 1989 | ✔ Available |
From HDL descriptions to guaranteed correct circuit designs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7867 .I4 1986 | ✔ Available |
Correct hardware design and verification methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7874 .A3353 1993 | ✔ Available |
Database security, II
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.D32 I35 1988 | ✔ Available |
Database security, III
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.D32 I35 1989 | ✔ Available |
Control of boundaries and stabilization
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA402.3.I454 1988 | ✔ Available |