Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный.
Памятка-инструкция по армированию (на руднике) буров пневматического бурения пластинками из твердого сплава : утверждено 28 июля 1944 г. / НКЦМ СССР, Технический отдел, Отраслевое бюро технической информации Главзолото, 1945. - 12, [1] с. (Введено оглавление). - Текст : непосредственный.Гаранина Н.О. Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / Н. О. Гаранина, 2004. - 18 с. - Текст : непосредственный.Шилов Н.В. Combining knowledge and fixpoints / Н.В.Шилов,Н.О.Гаранина, 2002. - 50 p. - Текст : непосредственный.Бодин Е.В. Проект верифицирующего компилятора fbool. Ч. 2: Логические аннотации в языке Mini-Nil, их статическая семантика и семантика времени исполнения / Е.В. Бодин, Н.А.Калинина, Н.В.Шилов, 2006. - 31 с. - Текст : непосредственный.Бодин Е.В. Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL, его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов, 2005. - 22 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный.Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный.Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный.Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный.Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный.Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный.Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный.Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный.Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный.Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный.Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный.Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Баженова И.Ю. 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 с. - Текст : непосредственный.
Показать все результатыСмирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| |
Заказ фрагмента документа ₽