Design, Specification and Verification of Interactive Systems '95: Proceedings o

Design, Specification and Verification of Interactive Systems ’98: Proceedings o

Wieferink - Retargetable Processor System Integration into Multi-Proce - X555z

Recent developments in variable structure systems, economics and biology : proce

Building Natural Language Generation Systems (Studies in Natural Language Proce

Il manuale per il design dei prodotti industriali. Materiali, tecniche, proce...

Duke - Design Specification and Verification of Interactive Systems ' - X555z

Bodart - Design Specification and Verification of Interactive Systems - X555z