|
|
 |
|
|
 |
|
|
|
 |
|
|
|
|
|
|
|
|
1 - 2 of 2
|
|
 |
results |
search (Subject headings (XSP)) algebra
restrict (Basic classification (XBKL)) 54.31
|
|
|
|
|
 |
1. |
Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
Leeser, Miriam. - New York, NY : Springer New York, 1990
|
|
|
|
2. |
Hardware specification, verification and synthesis : mathematical aspects ; Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5 - 7, 1989 ; proceedings
Leeser, Miriam. - Online-Ausg.. - Berlin [u.a.] : Springer, 1990
|
|
|
|
|
|
|
1 - 2 of 2
|
|
| Word |
|
Type |
|
Count |
|---|
|
| algebra |
|
Subject headings (XSP) |
|
1546 |
| 54.31 |
|
Basic classification (XBKL) |
|
221 |
|
|
|
|
|
|
|
1 - 2 of 2
|
|
|
|
