Уточнить поиск
Наличие
-
Авторы
- Nepomnjaščij V. A. 1939- Valerij Aleksandrovič (2)
- Nepomnjaščij V. A. 1939- Valerij Aleksandrovič 070 (1)
- Nepomnjaščij V. A. 1939- Valerij Aleksandrovič 570 (1)
- Stenenko A. A. Aleksandr Aleksandrovič (1)
- Vizovitin N. V. Nikolaj Valer'evič 570 (1)
- Černenok S. A. Sergej Anatol'evič (1)
- А. А. Стененко, В. А. Непомнящий (1)
- АН СССР Сибирское отделение Вычислительный центр 570 (1)
- Академия наук СССР, Сибирское отделение, Вычислительный центр (1)
- Бодин Е. В. Евгений Викторович 070 (1)
- В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов (1)
- Веретнов С. О. 070 (1)
- Визовитин Н. В. Николай Валерьевич (1)
- Н. В. Визовитин, В. А. Непомнящий (1)
- Непомнящий В. А. 1939- Валерий Александрович (4)
- Непомнящий В. А. 1939- Валерий Александрович 340 (1)
- Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова (1)
- Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова (2)
- Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова (1)
- С. А. Черненок, В. А. Непомнящий (1)
- Показать больше
- Показать меньше
-
Item types
- Книга (5)
-
Заглавие серии
-
Предметные рубрики
- DYNAMIC-REAL, язык программирования (1)
- MSC, язык программирования (1)
- MSC-диаграммы (1)
- SDL, язык программирования (1)
- UCM-спецификации (1)
- Верификация (1)
- Информация (2)
- Математическое моделирование (1)
- НMSC-диаграммы (1)
- Передача (2)
- Петри сети (2)
- Программирование(компьют.) (1)
- Программы(компьют.) (1)
- Протоколы (2)
- Съезды, совещания и т.п (1)
- Тестирование (1)
- анализ распределенных систем (1)
- верификация распределенных систем (1)
- раскрашенные сети Петри (1)
- Показать больше
- Показать меньше
-
Коллекции
- NBR (4)
-
Языки
- английский (4)
- русский (5)