Символьная верификация непрерывно-дискретных систем: Алгоритм обобщенного таймер-преобразования: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 05.13.18 / С.-Петерб. гос. техн. ун-т

Сохранено в:
Шифр документа: 2Ад38695,
Вид документа: Авторефераты диссертаций
Автор: Парийская, Е. Ю.
Опубликовано: СПб. , 2000
Физические характеристики: 16 с.
Язык: Русский
Предмет:
00000cam0a22000004ia4500
001 BY-NLB-br179211
005 20211110121011.0
100 # # $a 19991226d2000 u y0rusy50 ||||ca 
101 0 # $a rus 
105 # # $a y m 001yy 
109 # # $a ac  $a aa 
200 1 # $a Символьная верификация непрерывно-дискретных систем  $e Алгоритм обобщенного таймер-преобразования  $e Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук  $e 05.13.18  $f С.-Петерб. гос. техн. ун-т 
210 # # $a СПб.  $d 2000 
215 # # $a 16 с. 
300 # # $a Библиогр.: с. 16 (8 назв.) 
606 0 # $3 BY-NLB-ar30058  $a СИМВОЛЬНАЯ ИНФОРМАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5128  $a ВЕРИФИКАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar9299  $a ДИНАМИЧЕСКИЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar9393  $a ДИСКРЕТНЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2113377  $a МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar35285  $a УПРАВЛЕНИЯ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar30059  $a СІМВАЛЬНАЯ ІНФАРМАЦЫЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5129  $a ВЕРЫФІКАЦЫЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar9300  $a ДЫНАМІЧНЫЯ СІСТЭМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar9394  $a ДЫСКРЭТНЫЯ СІСТЭМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2113382  $a МАТЭМАТЫЧНАЕ МАДЭЛЯВАННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar35286  $a КІРАВАННЯ СІСТЭМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar14265  $a КАМП'ЮТАРНАЕ МАДЭЛЯВАННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar14264  $a КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar14099805  $a НЕПРЕРЫВНЫЕ СИСТЕМЫ  $2 DVNLB 
686 # # $a 50.07.03  $2 rugasnti 
686 # # $a 59.03.03  $2 rugasnti 
686 # # $a 05.13.18  $2 oksvnk 
700 # 1 $3 BY-SEK-465767  $a Парийская  $b Е. Ю.  $g Екатерина Юрьевна 
801 # 0 $a BY  $b BY-HM0000  $c 19991226  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060316  $g psbo