Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Непомнящий В.А. Язык спецификаций распределенных систем 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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Веберова И.И. Распределенные информационные системы / И. И. Веберова, 2003. - 345 с. - Текст : непосредственный.Любарский Ю.Я. Интеллектуальные информационные системы / Ю. Я. Любарский, 1990. - 227 с. - Текст : непосредственный.Инюшкина О.Г. Проектирование информационных систем (на примере методов структурного системного анализа) : выставочные материалы / О. Г. Инюшкина, 2014. - 240 с. - Текст : непосредственный.Проектирование информационных систем : сборник научных трудов / Санкт-Петербургский гос. инженерно-экономический ун-т, 2006. - 311 с. - Текст : непосредственный.Бородакий Ю.В. Эволюция информационных систем / Ю. В. Бородакий, Ю. Г. Лободинский, 2011. - 368 с. - Текст : непосредственный.Монахов С.В. Анализ прикладных систем / С. В. Монахов, В. П. Савиных, Цветков В. Я., 2004. - 57 с. - Текст : непосредственный.Современные технологии в информационном обеспечении науки : сборник научных трудов / Ред. Н. Е. Каленов, 2003. - 316 с. - Текст : непосредственный.Барцев С.И. Моделирование аналоговых адаптивных сетей / С. И. Барцев, Ю. П. Ланкин, 1993. - 36 с. - Текст : непосредственный.Фатуев В.А. Надежность автоматизированных информационных систем / В. А. Фатуев, В. И. Высоцкий, В. И. Бушинский, 1998. - 103 с. - Текст : непосредственный.Затонский А.В. Информационные технологии: разработка информационных моделей и систем : выставочные материалы / А. В. Затонский, 2014. - 343 с. - Текст : непосредственный.Проектирование телекоммуникационных и информационных средств и систем : сборник научных трудов / Московский гос. ин-т электроники и математики, Кафедра "Радиоэлектронные и телекоммуникационные устройства и системы", 2007. - 203 с. - Текст : непосредственный.Лучко О.Н. Интеллектуальные информационные системы : учебное пособие / О. Н. Лучко, О. Н. Косова, 2007. - 54 с. - Текст : непосредственный.Зимин Е.Ф. Электромагнитная совместимость информационных систем / Е. Ф. Зимин, Ю. А. Казанцев, В. А. Кузовкин, 1995. - 152с.,26л.рис. - Текст : непосредственный.Ханипова Л.Ю. Качество информационных систем. Методы расчета надежности информационных систем : учебное пособие / Л. Ю. Ханипова, 2010. - 91 с. - Текст : непосредственный.Natural language processing and information systems / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Моделирование и анализ информационных систем. Т. 23№ 3(63) / гл. ред. В. А. Соколов, 2016. - 384 с. - Текст : непосредственный.Голицына О.Л. Информационные системы : учебное пособие / О. Л. Голицына, Н. В. Максимов, И. И. Попов, 2009. - 495 с. - Текст : непосредственный.Бойченко А.В. Функциональная стандартизация информационных систем и инфраструктур : специальность 05.13.15 "Вычислительные машины, комплексы и компьютерные сети", 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. В. Бойченко, 2004. - 25 c. - Текст : непосредственный.Набока М.В. Проектирование систем управления сложными информационными процессами с применением многоагентной технологии : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / М. В. Набока, 2004. - 20 с. - Текст : непосредственный.Natural language processing and information systems / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| |
Заказ фрагмента документа ₽