Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
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й автор
Название
Год
Доп.
2887.
Dodig-Crnkovic G.
History of computer science
2001
•
•
2886.
Brazovskii S.
Solitons in Crystals of Charge Density Waves
1989
•
•
2885.
Brown D.P.
Jennings R.H.
On technical analysis
1989
•
•
2884.
Tseng Y.-C.
Kuo S.-P.
Lee H.-W.
Location Tracking in a Wireless Sensor Network by Mobile Agents and Its Data Fusion Strategies
2003
•
•
2883.
Lamma E.
Mello P.
Riguzzi F.
A System for Measuring Function Points from an ER–DFD Specification
2003
•
•
2882.
Tennant N.
Relevance in reasoning
2004
•
•
2881.
Jain J.
Narayan A.
Fujita M.
A survey of techniques for formal verification of combinational circuits
1997
•
•
2880.
Shankar A.U.
An Introduction to Assertional Reasoning for Concurrent Systems
1993
•
•
2879.
Seger C.-J.
An Introduction to Formal Hardware Verification
1992
•
•
2878.
Chou C.-T.
The Mathematical Foundation of Symbolic Trajectory Evaluation
1999
•
•
2877.
Wang F.
Formal verification of timed systems: a survey and perspective
2004
•
•
2876.
Camurati P.
Prinetto P.
Formal verification of hardware correctness
1988
•
•
2875.
McFarland M.C.
Formal Verification of Sequential Hardware: A Tutorial
1993
•
•
2874.
Kern C.
Greenstreet M.R.
Formal Verification in Hardware Design: A Survey
1997
•
•
2873.
Prasad M.R.
Biere A.
Gupta A.
A Survey of Recent Advances in SAT-Based Formal Verification
2005
•
•
2872.
Securing data on the Web
2001
•
•
2871.
Chomsky N.
Systems of syntactic analysis
1953
•
•
2870.
Perelson A.S.
Weisbuch G.
Immunology for physicists
1997
•
•
2869.
Wickerhauser M.V.
High-resolution still picture compression
1992
•
•
2868.
Veltman M.J.G.
Nobel lecture: from weak interactions to gravitation
2000
•
•
<<
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
>>
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте