Liknande böcker

Design and implementation of symbolic computation systems : proceedings
Bok av Alfonso Miola
Tools and Algorithms for the Construction and Analysis of Systems: 6th I...
Bok av Susanne Graf
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Computer aided verification : 9th international conference : proceedings
Bok av Orna Grumberg
Nonlinear Control Systems
Bok av Alberto Isidori
Computer aided verification
Bok av Rajeev Alur
Automotive Embedded Systeme : Effizfientes Framework - Vom Design Zur Im...
Bok av Joachim Wietzke och Manh Tien Tran
Design and Implementation of Symbolic Computation Systems
Bok

Hybrid systems : computation and control : 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

Bok av Maria D Di Benedetto