Normal view
MARC view
Структурированные системы переходов Е. В. Кузьмин, В. А. Соколов
Material type:
TextLanguage: Russian Publication details: Москва Физматлит 2006Description: 173, [1] с. ил. 23 смISBN: 5922106929Subject(s): Вычислительные системы -- Математическое моделирование | Петри сети | Автоматов теория | параллельные вычислительные системы | распределенные вычислительные системы | системы помеченных переходов | параллельные программы | протоколы передачи данных | мультимножества | квазиупорядоченные множества | Минского счетчиковые машины | счетчиковые машины | темпоральные логики | магазинные автоматы | верификация программOther classification: 22.18
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| 1 месяц | Научная библиотека ТГУ Книгохранилище | 1-957169 (Browse shelf(Opens below)) | Available | 13820000585948 | |||
| 1 месяц | Научная библиотека ТГУ Книгохранилище | 1-946366 (Browse shelf(Opens below)) | Available | 13820000547940 | |||
| 1 неделя | Научная библиотека ТГУ Читальный зал 5 | 004 К893 (Browse shelf(Opens below)) | 1 | Available | 13820000548296 | ||
| 1 неделя | Научная библиотека ТГУ Читальный зал 5 | 004 К893 (Browse shelf(Opens below)) | 2 | Available | 13820000548297 | ||
| Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-946256к (Browse shelf(Opens below)) | 1 | Available | 13820000548298 | ||
| 1 месяц | Научная библиотека ТГУ Книгохранилище | 1-946257 (Browse shelf(Opens below)) | 2 | Available | 13820000548299 | ||
| 1 месяц | Научная библиотека ТГУ Книгохранилище | 1-946258 (Browse shelf(Opens below)) | 3 | Available | 13820000548300 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 166-171
Предм. указ.: с. 172-173
There are no comments on this title.
Log in to your account to post a comment.