|  |  |  |  |  |  |  | | Bild | | | | Bestellen |  | 99% |
|
|
|
€ 18,18* pro Stück |
| 90% |
|
Hybrid Systems: Computation and Control (1 Angebot) Invited Papers.- Coordinated Control for Highly Reconfigurable Systems.- Operational Semantics of Hybrid Systems.- SOS Methods for Semi-algebraic Games and Optimization.- Regular Papers.- The Discr... |
Springer Verlag 9783540251088 |
€ 99,99* pro Stück |
| 90% |
|
Automated Technology for Verification and Analysis (1 Angebot) Keynote Speech.- Games for Formal Design and Verification of Reactive Systems.- Evolution of Model Checking into the EDA Industry.- Abstraction Refinement.- Invited Speech.- Tools for Automated Ver... |
Springer Verlag 9783540236108 |
€ 99,99* pro Stück |
| 90% |
|
|
Springer Verlag 9783319274355 |
€ 49,99* pro Stück |
|
|