Полное описание
| Лицевая сторона карточки | Обратная сторона карточки |
Венчковский Л.Б. Разработка сложных программных изделий / Л. Б. Венчковский, 1999. - 109 с. - Текст : непосредственный.Visual Basic 6.0 - интегрированная среда проектирования программных приложений : учебное пособие / И. А. Несмеянов, В. В. Барковский, Л. Б. Венчковский, Т. А. Лукина, 2007. - 230 с. - Текст : непосредственный.
Венчковский Л.Б. Введение в программотехнику : (Разработка и стандартизация программных средств). Учеб. пособие по дисциплине "Разработка и стандартизация программных средств и информационных технологий" для студентов спец. "Прикладная информатика в управлении" - 3514 / Л.Б.Венчковский, 2003. - 72 с. - Текст : непосредственный.Visual Basic 6.0 - интегрированная среда проектирования программных приложений : учеб. пособие / И. А. Несмеянов [и др.], 2008. - 246 с. - Текст : непосредственный.Типовые процедуры обработки экономической информации : Учеб. пособие / Л.Б.Венчковский,И.А.Несмеянов,В.В.Бараковский,Н.С.Слесарева, 1990. - 59 с. - Текст : непосредственный.Программирование с использованием динамических структур данных на языке Паскаль : Текст лекций для студентов спец."Бухгалтерский учет, контроль и анализ хоз. деятельности"-06.08 / И.А.Несмеянов,Л.Б.Венчковский,В.В.Барковский,Н.С.Слесарева, 1993. - 35 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Венчковский Л.Б. Разработка сложных программных изделий / Л. Б. Венчковский, 1999. - 109 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
Баженова И.Ю. 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 с. - Текст : непосредственный.
Показать все результатыФилимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 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. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽