Automated Technology For Verification And Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010. Proceedings

   Authors: Krishnendu Chatterjee , Thomas A. Henzinger (auth.) , Ahmed Bouajjani , Wei-Ngan Chin (eds.)

Essentials Of Uwb

   Authors: Stephen Wood , Roberto Aiello

линейный крейсер X у д

   Authors: А.А. Михайлов

стандарты программирования на C++

   Authors: Саттер Г. , Александреску А.

пиротехнические работы

   Authors: Новиченко И.П. , Лопатин Н.М. , Поляков Н.С.

The Economics Of Electricity Markets

   Authors: Darryl R. Biggar , Mohammad Reza Hesamzadeh

Geotechnical Engineering Of Dams, 2nd Edition

   Authors: Robin Fell , Patrick MacGregor , David Stapledon , Graeme Bell , Mark Foster

водное хозяйство

   Authors: Соцкова Л.М. , Сирик В.Ф.

общая электротехника и электроника. учебное пособие

   Authors: Чернышова , Т.И. , Чернышов , Н.Г.