|
|
|
|
|
00000cam0a2200000 ia4500 |
001 |
BY-NLB-br0001149903 |
005 |
20141216104246.0 |
100 |
# |
# |
$a 20141118d2014 k y0rusy50 ca
|
101 |
0 |
# |
$a rus
|
102 |
# |
# |
$a RU
|
105 |
# |
# |
$a a m 000yy
|
109 |
# |
# |
$a ac
$a aa
|
200 |
1 |
# |
$a Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления
$e автореферат диссертации на соискание ученой степени кандидата технических наук
$e специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$f Битнер Вильгельм Александрович
$g [Московский физико-технический институт (государственный университет)]
|
210 |
# |
# |
$a Москва
$d 2014
|
215 |
# |
# |
$a 22 с.
$c ил.
|
320 |
# |
# |
$a Библиография: с. 20—22 (9 назв.)
|
606 |
0 |
# |
$3 BY-NLB-ar25723
$a ПРОГРАММИРОВАНИЕ
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar74927
$a МНОГОПОТОЧНОСТЬ
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar2145
$a АЛГОРИТМЫ (мат., информатика)
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar6673645
$a СТАТИЧЕСКИЙ АНАЛИЗ
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar65087
$a ЛИНЕЙНАЯ ЗАВИСИМОСТЬ
$2 DVNLB
|
686 |
# |
# |
$a 05.13.11
$2 oksvnk
|
686 |
# |
# |
$a 50.05.03
$2 rugasnti
$v 6
|
686 |
# |
# |
$a 50.05.13
$2 rugasnti
$v 6
|
686 |
# |
# |
$a 50.41.01
$2 rugasnti
$v 6
|
700 |
# |
1 |
$3 BY-SEK-ar8190103
$a Битнер
$b В. А.
$g Вильгельм Александрович
$c кандидат технических наук
|
801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20141118
$g psbo
|