Структурированные системы переходов: [монография] / Е.В. Кузьмин, В.А. Соколов

Сохранено в:
Шифр документа: 1//378067(039),
Вид документа: Книги
Автор: Кузьмин, Е. В.
Опубликовано: Москва : Физматлит , 2006
Физические характеристики: 173, [2] с. : ил. ; 22 см
Язык: Русский
Предмет:
ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ПРОЦЕССЫ
РАСПРЕДЕЛЕННЫЕ ВЫЧИСЛЕНИЯ
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
ВЕРИФИКАЦИЯ
ПЕТРИ СЕТИ
АБСТРАКТНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
ТЕМПОРАЛЬНАЯ ЛОГИКА
РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ
ПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ
вполне структурированные системы переходов
цалкам структураваныя сістэмы пераходаў
00000cam0a2200000 ib4500
001 BY-CNB-BOOK-06-36082
005 20170927094652.6
010 # # $a 5-9221-0692-9  $b в переплете 
100 # # $a 20061128d2006 k y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a z 001yy 
109 # # $a aa 
200 1 # $a Структурированные системы переходов  $e [монография]  $f Е.В. Кузьмин, В.А. Соколов 
210 # # $a Москва  $c Физматлит  $d 2006 
215 # # $a 173, [2] с.  $c ил.  $d 22 см 
320 # # $a Библиография: с. 166―171 (90 назв.) 
320 # # $a Предметный указатель: с. 172―173 
345 # # $9 300 экз. 
606 0 # $3 BY-NLB-ar22654  $a ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ПРОЦЕССЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2293159  $a РАСПРЕДЕЛЕННЫЕ ВЫЧИСЛЕНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2113377  $a МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5128  $a ВЕРИФИКАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar23408  $a ПЕТРИ СЕТИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5503485  $a АБСТРАКТНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5503451  $a ТЕМПОРАЛЬНАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar27429  $a РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar4123445  $a ПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ  $2 DVNLB 
610 0 # $a вполне структурированные системы переходов 
610 0 # $a цалкам структураваныя сістэмы пераходаў 
675 # # $a 519.71  $v 4  $z rus 
675 # # $a 510  $v 4  $z rus 
675 # # $a 004.032.24  $v 4  $z rus 
675 # # $a 004.75  $v 4  $z rus 
686 # # $a 50.07  $2 rugasnti  $v 6 
686 # # $a 27.03  $2 rugasnti  $v 6 
686 # # $a 27.47.15  $2 rugasnti  $v 6 
686 # # $a 28.25  $2 rugasnti  $v 6 
686 # # $a 50.41.01  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-647775  $a Кузьмин  $b Е. В.  $g Егор Владимирович  $c доктор физико-математических наук, информатика 
701 # 1 $3 BY-SEK-180596  $a Соколов  $b В. А.  $g Валерий Анатольевич 
801 # 0 $a BY  $b BY-HM0005  $c 20061128  $g psbo 
801 # 2 $a BY  $b BY-HM0000  $c 20170926  $g psbo 

Схожие документы