Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Быстрый переход
По названию:
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
А
Б
Д
З
К
Л
М
П
С
Т
У
Ф
Х
Ч
Ш
Все ресурсы
Сортировка:
Дате поступления
Автору
2му автору
3му автору
Названию
Году издания
Языку издания
По убыванию
По возрастанию
№
Автор
2й автор
3й автор
Название
Год
Доп.
10638.
Kern C.
Greenstreet M.R.
Formal Verification in Hardware Design: A Survey
1997
•
•
10637.
Camurati P.
Prinetto P.
Formal verification of hardware correctness
1988
•
•
10636.
McFarland M.C.
Formal Verification of Sequential Hardware: A Tutorial
1993
•
•
10635.
Wang F.
Formal verification of timed systems: a survey and perspective
2004
•
•
10634.
Dickinson R.G.
Sherrill M.S.
Formation of Ozone by Optically Excited Mercury Vapor
1926
•
•
10633.
Bronstein M.
Formulas for series computations
1992
•
•
10632.
Formulation of the problem of constructing a complete involutive collection of functions
n/a
•
•
10631.
Neelamani R.
Choi H.
Baraniut R.
ForWaRD: Fourier-Wavelet Regularized Deconvolution for I11-Conditioned Systems
2003
•
•
10630.
Markowitz H.M.
Foundations of Portfolio Theory
1991
•
•
10629.
Lo A.W.
Mamaysky H.
Wang J.
Foundations of Technical Analysis: Computational Algorithms, Statistical Inference, and Empirical Implementation
2000
•
•
10628.
Sposito G.
Foundations of the quantum statistics of systems in equilibrium: A measuretheoretic approach
1974
•
•
10627.
Felli V.
Terracini S.
Fountain-like solutions for nonlinear elliptic equations with critical growth and hardy potential
n/a
•
•
10626.
Four Hamiltonian Systems
2005
•
•
10625.
Mugnai D.
Four nontrivial solutions for subcritical exponential equations
2000
•
•
10624.
Hermisson J.
Wagner H.
Baake M.
Four-State Quantum Chain as a Model of Sequence Evolution
2001
•
•
10623.
Batrouni G.G.
Hansen A.
Fourier Acceleration of Iterative Processes in Disordered Systems
1988
•
•
10622.
Gripenberg G.
Fourier analysis
2009
•
•
10621.
Garrett P.
Fourier analysis on finite abelian groups
2007
•
•
10620.
Weinstein A.
Fourier integral operators, quantization, and the spectra of Riemannian manifolds
n/a
•
•
10619.
Fourier transform of analytic functions
n/a
•
•
<<
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
>>
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте