|
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science , Vol 1066) Автор: Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag Год: 2005 |
Electronic Control Systems Автор: Ross Bannatyne Год: 2005 |
Computational Science - ICCS 2002 Год: 2002 |
Computational Science - ICCS 2004: 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV (Lecture Notes in Computer Science) (Pt. 4) Автор: Marian Bubak, Geert D. van Albada, Peter M.A. Sloot, Jack Dongarra Год: 2004 |
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (Lecture Notes in ... Computer Science and General Issues) Автор: Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas Год: 2009 |
Proceedings of the conference on differential and difference equations and applications Автор: Agarwal R.P., Perera K. (eds.) Год: 2006 |