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

Computer Aided Verification, 16 conf., CAV 2004

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 9.94 Mb

Computer Aided Verification, 8 conf., CAV '96

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.09 Mb

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

 Автор: , Автор:
Категория: CsLn_
Размер книги: 12.30 Mb

Hybrid Systems III: Verification and Control: No. 3

Автор: , Автор: , Автор:
Размер книги: 5.84 Mb