Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
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й автор
Название
Год
Доп.
15238.
Neal R.
Probabilistic inference using Markov chain Monte-Carlo methods
1993
•
•
15237.
Lomonaco S.J.
A quick glance at quantum cryptography
1998
•
•
15236.
Shannon C.E.
A Mathematical Theory of Communication
1948
•
•
15235.
Svozil K.
Quantum logic. A brief outline
1999
•
•
15234.
Smola A.J.
Scholkopf B.
A Tutorial on Support Vector Regression
2003
•
•
15233.
Werner R.F.
Quantum Information Theory — an Innovation
2000
•
•
15232.
Savelyev S.A.
Taylor P.A.
Internal boundry layers: I. Height formulae for neutral and diabatic flows
2005
•
•
15231.
Wipf A.
Eichtheorien
2000
•
•
15230.
't Hooft G.
Nobel lecture: a confrontation with infinity
2000
•
•
15229.
Veltman M.J.G.
Nobel lecture: from weak interactions to gravitation
2000
•
•
15228.
Wickerhauser M.V.
High-resolution still picture compression
1992
•
•
15227.
Perelson A.S.
Weisbuch G.
Immunology for physicists
1997
•
•
15226.
Chomsky N.
Systems of syntactic analysis
1953
•
•
15225.
Securing data on the Web
2001
•
•
15224.
Chou C.-T.
The Mathematical Foundation of Symbolic Trajectory Evaluation
1999
•
•
15223.
Kern C.
Greenstreet M.R.
Formal Verification in Hardware Design: A Survey
1997
•
•
15222.
McFarland M.C.
Formal Verification of Sequential Hardware: A Tutorial
1993
•
•
15221.
Camurati P.
Prinetto P.
Formal verification of hardware correctness
1988
•
•
15220.
Wang F.
Formal verification of timed systems: a survey and perspective
2004
•
•
15219.
Seger C.-J.
An Introduction to Formal Hardware Verification
1992
•
•
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
>>
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте