|
|
|
|
|
00000cam0a22000004ia4500 |
| 001 |
BY-NLB-br807414 |
| 005 |
20070615184119.7 |
| 100 |
# |
# |
$a 20060316d2005 u y0rusy50 ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a ru
|
| 105 |
# |
# |
$a y m 001yy
|
| 109 |
# |
# |
$a aa
$a ac
|
| 200 |
1 |
# |
$a Моделирование композиционных уточняющих спецификаций
$e автореферат диссертации на соискание ученой степени кандидата технических наук
$e 05.13.17
$f Ступников Сергей Александрович
$g [Институт проблем информатики РАН]
|
| 210 |
# |
# |
$a Москва
$d 2005
|
| 215 |
# |
# |
$a 24 с.
|
| 300 |
# |
# |
$a Библиография: с. 23-24 (9 назв.).
|
| 606 |
0 |
# |
$3 BY-NLB-ar2154276
$a СПЕЦИФИКАЦИЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar12062
$a ИНФОРМАТИКА
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar5128
$a ВЕРИФИКАЦИЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar62701
$a ИНФОРМАЦИОННЫЕ МОДЕЛИ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar2154279
$a СПЕЦЫФІКАЦЫЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar12071
$a ІНФАРМАЦЫЙНЫЯ СІСТЭМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar12063
$a ІНФАРМАТЫКА
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar5129
$a ВЕРЫФІКАЦЫЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar62702
$a ІНФАРМАЦЫЙНЫЯ МАДЭЛІ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar12070
$a ИНФОРМАЦИОННЫЕ СИСТЕМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar17310
$a МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar17311
$a МАТЭМАТЫЧНАЯ КІБЕРНЕТЫКА
$2 DVNLB
|
| 686 |
# |
# |
$a 50.51.19
$2 rugasnti
|
| 686 |
# |
# |
$a 27.47.17
$2 rugasnti
|
| 686 |
# |
# |
$a 27.47.25
$2 rugasnti
|
| 686 |
# |
# |
$a 05.13.17
$2 oksvnk
|
| 700 |
# |
1 |
$3 BY-SEK-671646
$a Ступников
$b С. А.
$g Сергей Александрович
|
| 801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20060316
$g psbo
|
| 801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20060901
$g psbo
|
