Полное описание
Абрамова, Н. А.
ГРНТИ УДК 50.41 004.4.052(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар03-2270)
Шифр в сводном ЭК: f710e8bfd639358c8999f63ad7576498
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Абрамова, Н. А. Выпускники Саратовского университета : Биобиблиогр. слов. Вып. 1 : Геологический факультет. Доктора геолого-минералогических наук, 1989. - 290 с. - Текст : непосредственный. Новый математический аппарат для анализа внешнего поведения и верификации программ : Препринт / Н.А.Абрамова,Т.С.Баталина,Н.А.Гегамов,С.В.Коврига, 1998. - 109 с. - Текст : непосредственный. Абрамова Н.А. Методология повышения надежности проектирования программно-технических средств на основе формализации знаний : автореф. дис. .. д-ра техн. наук: 05.13.11 / Н. А. Абрамова, 2002. - 52 с. - Текст : непосредственный. Абрамова Н.А. Словарный альбом для машиностроителей : (китайско-русский, русско-китайский)Учеб.пособие / Н. А. Абрамова, В. А. УстюжанинЛян Чжану, 1997. - 207 с. - Текст : непосредственный. Абрамова Н.А. Формализованные модели архитектуры процессов и методика их построения : Препринт / Н. А. Абрамова, С. В. Коврига, И. В. Сперанская, 1989. - 52 с. - Текст : непосредственный. Абрамова Н.А. Развитие приоритетных направлений хозяйствования предприятий лесного комплекса : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.05 / Н. А. Абрамова, 1995. - 16 с. - Текст : непосредственный. Абрамова Н.А. Перспективы применения биотехнологий в горнодобывающей промышленности / Н. А. Абрамова, А. С. Благовидов. - Текст : непосредственный // Горный журнал. - М. : "Руда и Металлы", изд. дом, 2017. - № 7. - с. 74-79 Модель научно-прикладного понятия, ориентированная на проблемы переноса научных знаний и опыта при решении слабоструктурированных крупномасштабных проблем : Препринт / Н.А.Абрамова,С.В.Коврига,О.П.Кузнецов и др., 1997. - 71 с. - Текст : непосредственный. Методика верификационной отладки алгоритмов, заданных функциональными схемами : Препринт / Н.А.Абрамова,А.А.Амбарцумян,С.В.Коврига,Э.Е.Рубцова, 1990. - 52 с. - Текст : непосредственный. Абрамовой Н.А., Гинсберга К.С., Новикова Д.А. под ред.Человеческий фактор в управлении : Сборник научных трудов / Абрамовой Н.А., Гинсберга К.С., Новикова Д.А. под ред., 2006. - 493 с. - Текст : электронный. Баженова И.Ю. 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 с. - Текст : непосредственный. Показать все результаты Колесов К.В. Тензорный метод оценки надежности программного обеспечения / К. В. Колесов, 2009. - 23 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Панфилова Т.А. Стохастические адаптивные алгоритмы повышения надежности программного обеспечения : автореф. дис. .. канд. техн. наук: 05.13.01 / Т. А. Панфилова, 2017. - 15 с. - Текст : непосредственный. Maier T. Techniken und Werkzeuge fur die Gewahrleistubg funktionaler Sicherheit von Software in technischen Systemen : Diss. / T.Maier, 2000. - 129 S. - Текст : непосредственный. Сарайкин А.В. Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / А. В. Сарайкин, 2000. - 19 с. - Текст : непосредственный. Вялых А.С. Модели и алгоритмы анализа и прогнозирования надежности использования программного обеспечения информационных систем в условиях конфликтных взаимодействий : автореф. дис. .. канд. техн. наук: 05.13.17 / А. С. Вялых, 2014. - 16 с. - Текст : непосредственный. Гордиенко А.В. Математические модели надежности программного обеспечения функционального типа : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / А. В. Гордиенко, 2000. - 18 с. - Текст : непосредственный. Золотухин В.В. Тензорный метод анализа надежности программного обеспечения систем управления и обработки информации : автореф. дис. .. канд. техн. наук: 05.13.01 / В. В. Золотухин, 2006. - 20 с. - Текст : непосредственный. Лисс В.А. Разработка математических и имитационных моделей надежности программного обеспечения систем реального времени : автореф. дис. .. канд. техн. наук: 05.13.11 / В. А. Лисс, 2006. - 16 с. - Текст : непосредственный. Удалова Ю.В. Отладка и верификация функционально-потоковых параллельных программ : автореф. дис. .. канд. техн. наук: 05.13.11 / Ю. В. Удалова, 2015. - 22 с. - Текст : непосредственный. Ключников К.К. Повышение эффективности функционирования вычислительных систем на основе аналитических методов оценки влияния сбоев программного обеспечения : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / К. К. Ключников, 2011. - 20 с. - Текст : непосредственный. Абрамова Н.А. Методология повышения надежности проектирования программно-технических средств на основе формализации знаний : автореф. дис. .. д-ра техн. наук: 05.13.11 / Н. А. Абрамова, 2002. - 52 с. - Текст : непосредственный. Новой А.В. Система анализа архитектурной надежности программного обеспечения : автореф. дис. .. канд. техн. наук: 05.13.01, 05.13.11 / А. В. Новой, 2011. - 21 с. - Текст : непосредственный. Титов А.В. Модели и методы оценки надежности специализированного программного обеспечения систем обработки информации : автореф. дис. .. канд. техн. наук: 05.13.11 / А. В. Титов, 2013. - 21 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
