Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Быстрый переход
По названию:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б В Д З И К М Н О П Р С Х Ч
По автору:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б Д З К Л М П С Т У Ф Х Ч Ш
blank
Все ресурсы
Сортировка:
Автор asc desc 2й автор asc desc 3й автор asc desc Название asc desc Год asc desc Доп.
13368.Kern C.Greenstreet M.R.Formal Verification in Hardware Design: A Survey1997
13367.McFarland M.C.Formal Verification of Sequential Hardware: A Tutorial1993
13366.Camurati P.Prinetto P.Formal verification of hardware correctness1988
13365.Wang F.Formal verification of timed systems: a survey and perspective2004
13364.Seger C.-J.An Introduction to Formal Hardware Verification1992
13363.Shankar A.U.An Introduction to Assertional Reasoning for Concurrent Systems1993
13362.Allman G.J.Greek geometry. From Thales to Euqlid (Part 1)1877
13361.Tennant N.Relevance in reasoning2004
13360.Brown D.P.Jennings R.H.On technical analysis1989
13359.Brazovskii S.Solitons in Crystals of Charge Density Waves1989
13358.Dodig-Crnkovic G.History of computer science2001
13357.Flenner H.Zaidenberg M.On the uniqueness of C*-actions on affine surfaces2005
13356.Stapp H.P.Quantum theory and the role of mind in nature2001
13355.Holcombe R.G.Entrepreneurship and economic growth1998
13354.Schwert G.W.Why Does Stock Market Volatility Change Over Time?1989
13353.Ritter J.R.The Long-Run Performance of Initial Public Offerings1991
13352.Brav A.Lehavy R.An Empirical Analysis of Analysts’ Target Prices: Short-term Informativeness and Long-term Dynamics2003
13351.Crivat B.MacLennan J.Detect Anomalies in Excel Spreadsheetsn/a
13350.Fama E.F.French K.R.Multifactor explanations of asset pricing anomalies1996
13349.Betke M.Gurvits L.Mobile Robot Localization Using Landmarks1997


blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте