Применение формальных методов при проектировании систем мобильных агентов: автореферат диссертации на соискание академической степени доктора философии (Ph.D.) по специальности "информатика" / Гроцев Денис Владиславович

Сохранено в:
Шифр документа: 2//89684(039),
Вид документа: Авторефераты диссертаций
Автор: Гроцев, Д. В.
Опубликовано: Алматы , 2010
Физические характеристики: 23 с. : ил.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000523413
005 20100909113638.0
100 # # $a 20100621d2010 k y0rusy50 ca 
101 0 # $a rus  $d eng  $d kaz 
102 # # $a KZ 
105 # # $a a m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Применение формальных методов при проектировании систем мобильных агентов  $e автореферат диссертации на соискание академической степени доктора философии (Ph.D.) по специальности "информатика"  $f Гроцев Денис Владиславович  $g [Казахский национальный университет им. аль-Фараби] 
210 # # $a Алматы  $d 2010 
215 # # $a 23 с.  $c ил. 
300 # # $a Резюме на английском, казахском языках 
320 # # $a Библиография: с. 19 (7 назв.) 
606 0 # $3 BY-NLB-ar2879434  $a ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25725  $a ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar22508  $a ПАКЕТЫ ПРИКЛАДНЫХ ПРОГРАММ  $2 DVNLB 
606 0 # $3 BY-NLB-ar19436  $a НАДЕЖНОСТЬ (техн.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar2928912  $a ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ  $2 DVNLB 
610 0 # $a мобильные агенты 
610 0 # $a мабільныя агенты 
686 # # $a 50.41  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-ar1646314  $a Гроцев  $b Д. В.  $g Денис Владимирович 
801 # 0 $a BY  $b BY-HM0000  $c 20100621  $g psbo