"Rajeev Alur" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Aided Verification, 16 conf., CAV 2004

Rajeev Alur, Doron A. Peled

Категория: Cs_Computer science, CsLn_Lecture notes

9.94 Mb

#2

Computer Aided Verification, 8 conf., CAV '96

Rajeev Alur, Thomas Henzinger

Категория: Cs_Computer science, CsLn_Lecture notes

5.09 Mb

#3

Hybrid Systems.. Computation and Control, 7 conf., HSCC 2004

Rajeev Alur, George Pappas

Категория: CsLn_

12.30 Mb

#4

Hybrid Systems III: Verification and Control: No. 3

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag

5.84 Mb

#5

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Rajeev Alur, Insup Lee

4.40 Mb