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

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

#1

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)

Alan J. Hu, Andrew K. Martin

Категория: Компьютеры

16.01 Mb

#2

Computer Aided Verification, 10 conf., CAV '98

Alan J. Hu, Moshe Y. Vardi

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

5.51 Mb

#3

Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004

Alan J. Hu, Andrew K. Martin

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

11.75 Mb

#4

Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004

Alan J. Hu, Andrew K. Martin

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

7.69 Mb

#5

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)

Hana Chockler, Alan J. Hu

6.04 Mb