libcats.org
Главная

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Обложка книги Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

,
Только что пользователи скачали эти книги:

Меня зовут «Бендер»

Автор:
Категория: Публицистика
Размер книги: 446 Kb

Italian mathematics between the two world wars

Автор: , Автор:
Категория: Mathematics, Popular-level
Размер книги: 3.93 Mb

Transform analysis of generalized functions

Автор: , Автор:
Категория: Functional analysis
Размер книги: 1.82 Mb

Loudspeaker and Headphone Handbook, Third Edition

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