Приложение
для AndroidПолное описание
Панков, С. В. Верификация асинхронных параллельных систем на основе L-программ : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков. - Ростов н/Д, 1996. - 25 с. - Текст : непосредственный.
В надзаг. :Ростов.гос.ун-т.Диссертац.совет К.063.52.12. Библиогр.:с. 25
| ГРНТИ | УДК | |
| 50.41 | 004.415.535(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР96-3425)
Шифр в сводном ЭК: 8b7b72dd64c9e110bb4a8bc20ac1e53a
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11,05.13.16 / С. В. Панков, 1995. - 25 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков, 1996. - 25 с. - Текст : непосредственный.
Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный.Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный.Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный.MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный.Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный.Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный.Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.
Показать все результатыПанков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11,05.13.16 / С. В. Панков, 1995. - 25 с. - Текст : непосредственный.Ивановский С.А. Разработка корректных программ : Учеб.пособие / С.А.Ивановский, 1996. - 63 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков, 1996. - 25 с. - Текст : непосредственный.Lohrey M. Konfluenzproblem fur Spurersetzungssysteme : Diss. / M.Lohrey, 1999. - 140 S. - Текст : непосредственный. Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.
Заказ фрагмента документа ₽