|
|
|
|
|
|
|
|
1 - 5 von 5 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) cad eingrenzen (Basisklassifikation (XBKL)) 54.23
|
|
|
|
|
|
1. |
Formal methods in computer-aided design : third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings Hunt, Warren A.. - Berlin : Springer, 2000
|
|
|
|
2. |
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998; proceedings Gopalakrishnan, Ganesh. - Berlin : Springer, 1998
|
|
|
|
3. |
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings Srivas, Mandayam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
4. |
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996 ; proceedings Srivas, Mandayam. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996
|
|
|
|
5. |
Formal methods in computer-aided design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996; proceedings Srivas, Mandayam. - Berlin [u.a.] : Springer, 1996
|
|
|
|
|
|
|
1 - 5 von 5 |
|
Wort |
|
Typ |
|
Anzahl |
|
cad |
|
Schlagwörter GND (Phrase) (XSP) |
|
1019 |
54.23 |
|
Basisklassifikation (XBKL) |
|
89 |
|
|
|
|
|
|
|
1 - 5 von 5 |
|
|