Liknande böcker

Formal techniques in real-time and fault-tolerant systems : proceedings
Bok av Bengt Jonsson
Hybrid systems : computation and control : First International Workshop,...
Bok av Thomas A Henzinger
Tools and Algorithms for the Construction and Analysis of Systems : 7th...
Bok
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Domain
Bok av Eric Evans
Power-Aware Computer Systems : Third International Workshop, PACS 2003,...
Bok av Babak. Falsafi
Hybrid Systems: Computation and Control: Second International Workshop,...
Bok av Jan H. Schuppen
Software Process Quality : Management and control
Bok av Ron S. Kenett och Emanuel Baker

Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 2325, 2000 Proceedings

Bok av Bruce H. Krogh