Полное описание
Рагозин, А. С.
ГРНТИ УДК 50.41 004.422.8'242(043) 004.415.28(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР99-4625)
Шифр в сводном ЭК: 77e7a4f10e654eee05ca33db23cd6ddb
Баженова И.Ю. 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 с. - Текст : непосредственный. Показать все результаты Окунишникова Е.В. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Окунишникова, 2004. - 18 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Агафонов В.Н. Анализ, организация и компьютеризация понятийных средств спецификации программ : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. Н. Агафонов, 1994. - 41 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Феоктистов А.Г. Графическая инструментальная среда для визуального построения и применения пакетов программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Г. Феоктистов, 2000. - 17 с. - Текст : непосредственный. Кучуганов М.В. Логика фундированных действий : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.18 / М. В. Кучуганов, 2000. - 16 с. - Текст : непосредственный. Herter T. Sprache zur Generierung von Ger@:atetreibern : Diss. / T.Herter, 1989. - Pag.var. - Текст : непосредственный. Юсупов Ю.В. Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду : автореф. дис. .. канд. техн. наук: 05.13.11 / Ю. В. Юсупов, 2009. - 18 с. - Текст : непосредственный. Рагозин А.С. Генерация и исполнение программ по спецификациям на языке SDL : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. С. Рагозин, 1999. - 21 с. - Текст : непосредственный. Ашраф Абд Эль-Фаттах Мустафа Дарвиш.Расширение предикативных формул линейными неравенствами и списками для спецификации программ : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш, 2006. - 16 с. - Текст : непосредственный. Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный. Васильев П.К. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / П. К. Васильев, 2008. - 16 с. - Текст : непосредственный. Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
