Wydania przez R Alur

Dostępne w magazynie iMusic Pokaż niedostępne przedmioty

Cover for R Alur · Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)

Hybrid Systems: Computation and ... (2004)

Cover for R Alur · Computer Aided Verification (International Conference, Cav '96, New Brunswick, Nj, Usa, July 31-august 3, 1996 - Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1996)

Computer Aided Verification (Int... (1996)