Приложение
для AndroidПолное описание
Хорев, П. Б. Методы разработки программных средств : учеб. пособие по курсу "Технология разработки програм.средств" / П.Б.Хорев;Под ред.М.М.Марана. - М. : Изд-во МЭИ, 1994. - 119 c. : ил. - 500 экз. - Текст : непосредственный.
В надзаг.:Моск.энерг.ин-т.Библиогр.:с.117-118(19 назв.)
| ГРНТИ | УДК | |
| 50.41 | 004.415.2 | |
| 50.05.13 |
Рубрики:
Программы для ЭВМ
Кл.слова (ненормированные): ПРОГРАММА -- ЭВМ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-94/18297)
Шифр в сводном ЭК: 5df2842f6ff4f191f4c51f0b3042c4fb
Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учеб. пособие / П. Б. Хорев, 2007. - 255 с. - Текст : непосредственный.Хорев П.Б. Защита компьютерной информации : учебное пособие / П. Б. Хорев, 2007. - 8 с. - Текст : непосредственный.Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учебное пособие / П. Б. Хорев, 2008. - 255 с. - Текст : непосредственный.
Хорев П.Б. Методы разработки программных средств : Учеб. пособие по курсу "Технология разработки програм.средств" / П.Б.Хорев;Под ред.М.М.Марана, 1994. - 119 c. - Текст : непосредственный.Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учеб. пособие для студентов высш. учеб. заведений / П.Б. Хорев, 2005. - 255 с. - Текст : непосредственный.Хорев П.Б. Объектно-ориентированное программирование : учеб. пособие / П. Б. Хорев, 2012. - 447 с. - Текст : непосредственный.Хорев П.Б. Объектно-ориентированное программирование в среде Windows с использованием библиотек классов : Метод. пособие по курсу "Технология разработки програм. средств" по направлению 510200 "Прикл. мат. и информатика" / П.Б.Хорев, 2000. - 56 с. - Текст : непосредственный.Хорев П.Б. Технологии объектно-ориентированного программирования : Учеб. пособие / П.Б.Хорев, 2004. - 447 с. - Текст : непосредственный.Хорев П.Б. Использование средств шифрования данных в приложениях для Microsoft .NET : учеб. пособие по курсу "Защита данных" для студентов по направлению "Приклад. математика и информатика" / П. Б. Хорев, 2015. - 91 с. - Текст : непосредственный.Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учеб. пособие / П. Б. Хорев, 2006. - 255 с. - Текст : непосредственный.Хорев П.Б. Объектно-ориентированное программирование : учеб. пособие / П. Б. Хорев, 2011. - 447 с. - Текст : непосредственный.Хорев П.Б. Технологии объектно-ориентированного программирования : учеб. пособие / П. Б. Хорев, 2008. - 447 с. - Текст : непосредственный.Хорев П.Б. Программно-аппаратная защита информации : учеб. пособие / П. Б. Хорев, 2015. - 351 с. - Текст : непосредственный.Хорев П.Б. Криптографические протоколы : учебное пособие по курсу "Криптографические методы защиты информации" для студентов, обучающихся по направлению 01.03.02 "Прикладная математика и информатика" / П. Б. Хорев, 2019. - 85 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Ахметов К.С. 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 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный.
Показать все результатыСмирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В. А. Скрыпник, 1993. - 144 c. - Текст : непосредственный.Программы для ЭВМ.Базы данных.Топологии интегральных микросхем : Инфомац.бюллетень офиц.регистрации / Рос.агентство по правовой охране программ для ЭВМ,баз данных и топологий интегральных микросхем(РосАПО). Вып. 2(20), 1997. - 118 с. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Compile, Link and Run. N. 1, 1992. - 203 p. - Текст : непосредственный.Compile, Link and Run. N 2, 1992. - 204-427 p. p. - Текст : непосредственный.Пакштас А. Синтаксически-ориентированные компоненты распределенных систем. Инструменты разработки и отладки на основе формальных описаний / А. Пакштас, Н. В. Золотарев ; Ред. А. А. Красилов, 1992. - 271 с. - Текст : непосредственный.Пронин А.С. 100 лучших бесплатных программ для ПК / А. С. Пронин, 2009. - 125 с. - Текст : непосредственный.Запольскис А.И. Новые программы для компьютера IBM PC / А. И. Запольскис, 1999. - 494 с. - Текст : непосредственный.Параллельные алгоритмы и программы для ЭВМ с общим управлением : сборник / Институт проблем упр. (Москва), 1991. - 82 с. - Текст : непосредственный.Леонтьев В.П. Лучшие программы для Windows / В. П. Леонтьев, 2007. - 255 с. - Текст : непосредственный.Dijkstra E.W. Predicate calculus and program semantics / E. W. Dijkstra, C. S. Scholten, 1990. - X,220 p. p. - Текст : непосредственный.Зудилова Т.В. Возможности и примеры использования интегрированной системы KNOWLEDGEMAN / Т. В. Зудилова, 1990. - 126 c. - Текст : непосредственный.Котов Ю.Б. Программа симптомного анализа / Ю. Б. Котов, 1990. - 28 с. - Текст : непосредственный.Тутубалин Д.К. Информатика. Windows-приложения / Д. К. Тутубалин, А. Ю. Филиппов, 2003. - 130 с. - Текст : непосредственный.Столяровский С. 50 лучших программ для семейного компьютера / С. Столяровский, 2008. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.48 программ для изучающих BASIC, 1993. - 86 c. - Текст : непосредственный.Макаров В.М. Имитационная модель МКП для получения временных характеристик программ : препринт / В. М. Макаров, Н. К. Скурат, 1991. - 46 с. - Текст : непосредственный.Эшли Р. PC Tools Deluxe 6.0 / Р. Эшли, Дж. Фернандес ; , 1993. - 287 с. - Текст : непосредственный.Горбунов-Посадов М.М. Конфигурации программ : монография / М. М. Горбунов-Посадов, 1994. - 272 с. - Текст : непосредственный.
Показать все результатыФилимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Венчковский Л.Б. Разработка сложных программных изделий / Л. Б. Венчковский, 1999. - 109 с. - Текст : непосредственный.Затенко С.И. Разработка математических моделей надежности прикладного программного обеспечения при ограниченной статистической информации : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / С. И. Затенко, 2009. - 20 с. - Текст : непосредственный.Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный.Окунишникова Е.В. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Окунишникова, 2004. - 18 с. - Текст : непосредственный.Агафонов В.Н. Спецификация программ: понятийные средства и их организация / В. Н. Агафонов, 1990. - 223 с. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Костылев Е.В. Алгоритмы антиунификации и их применение для вычисления инвариантов программ : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Костылев, 2008. - 23 с. - Текст : непосредственный.Semantics and algebraic specification / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Юрченко В.В. Функциональные сети / В. В. Юрченко ; Ред. В. А. Геловани, 1992. - 183 с. - Текст : непосредственный.Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный.Лекарев М.Ф. Модули с двумя выходами в программных проектах / М. Ф. Лекарев, 2000. - 71 с. - Текст : непосредственный.Позин Б.А. Методы системного проектирования, управления конфигурацией и тестирования программных средств при реализации CASE - технологий : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Б. А. Позин, 1994. - 56 с. - Текст : непосредственный.Валидов Ф.И. Введение в теорию формального вывода программ / Ф. И. Валидов, 1999. - 99 с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный.Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный.Fokkink W.J. simple specification language combining processes,time and data / W. J. Fokkink, 1992. - 28 p. - Текст : непосредственный.Meulen E.A.van der Deriving incremental implementations from algebraic specifications / E. A.van der Meulen, 1990. - 20 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽