Главная    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 Доп.
9618.McFarland M.C.Formal Verification of Sequential Hardware: A Tutorial1993••
9617.Wang F.Formal verification of timed systems: a survey and perspective2004••
9616.Seger C.-J.An Introduction to Formal Hardware Verification1992••
9615.Shankar A.U.An Introduction to Assertional Reasoning for Concurrent Systems1993••
9614.Allman G.J.Greek geometry. From Thales to Euqlid (Part 1)1877••
9613.Tennant N.Relevance in reasoning2004••
9612.Brazovskii S.Solitons in Crystals of Charge Density Waves1989••
9611.Dodig-Crnkovic G.History of computer science2001••
9610.Stapp H.P.Quantum theory and the role of mind in nature2001••
9609.Holcombe R.G.Entrepreneurship and economic growth1998••
9608.Schwert G.W.Why Does Stock Market Volatility Change Over Time?1989••
9607.Ritter J.R.The Long-Run Performance of Initial Public Offerings1991••
9606.Kostic Z.Performance and Implementation of Dynamic Frequency Hopping in Limited-Bandwidth Cellular Systems2002••
9605.Prigogine I.Time, structure and fluctuations1977••
9604.Hanche-Olsen H.Elements of mathematical analysis2004••
9603.Loyd S.White mates in 11993••
9602.Debevec P.Image-Based Lighting2002••
9601.Gerstacker W.H.Equalization Concepts for EDGE2002••
9600.Sweeney R.J.Beating the foreign exchange market1986••
9599.Solnik B.International Arbitrage Pricing Theory1983••
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте