Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification
|
EDV / Informatik |
192.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
 |
 |
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
|
Naturwissensch., Medizin, Technik |
261.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
 |
 |
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
|
Naturwissensch., Medizin, Technik |
236.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
 |
 |
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
|
Naturwissensch., Medizin, Technik |
188.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
|
EDV / Informatik |
238.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
|
Naturwissensch., Medizin, Technik |
261.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
 |
 |
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
|
Naturwissensch., Medizin, Technik |
334.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
| / 1 |