Приложение
для AndroidПолное описание
Окунишникова, Е. В. Представление временных конструкций Estelle в различных моделях временных сетей Петри / Е.В.Окунишникова. - Новосибирск : [б. и.], 1999. - 32 с. : ил. - (Препринт / Институт систем информатики(Новосибирск) ; 70). - 100 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.39.29 | 004.75-047.58(04) |
Рубрики:
Вычислительные системы распределенные -- Моделирование
Кл.слова (ненормированные): распределенная вычислительная система -- моделирование
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Замулин А.В. The database specification language Ruslan : A preliminary communication / А.В.Замулин, 1994. - 35 p. - Текст : непосредственный.Сабельфельд В.К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности / В.К.Сабельфельд, 1994. - 42 c. - Текст : непосредственный.Вирбицкайте И.Б. Семантические модели потоковых вычислений / И.Б.Вирбицкайте,А.В.Вотинцева, 1993. - 29 c. - Текст : непосредственный.Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный.Городняя Л.В. Принципы конструирования электронного учебника по информационной стилистике русского языка / Л.В.Городняя,Г.П.Несговорова, 1994. - 19 c. - Текст : непосредственный.Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный.Загорулько Ю.А. Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций / Ю.А.Загорулько, 1994. - 65 c. - Текст : непосредственный.Поттосин И.В. О критериях добротности программ / И.В.Поттосин, 1966. - 35 с. - Текст : непосредственный.Колдаков В.В. Реализация распределенной базы данных в концепции информационного хранилища / В. В. Колдаков, В. В. Марусин, Е. М. Шаталов, 1996. - 26 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 43 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 39 с. - Текст : непосредственный.Кадач А.В. Свойства кодов Хаффмана и эффективные методы декодирования префиксных кодов / А.В.Кадач, 1997. - 44 с. - Текст : непосредственный.Леонов М.В. Эффективный алгоритм, реализующий замкнутый набор булевых операций над множествами многоугольников на плоскости / М.В.Леонов,А.Г.Никитин, 1997. - 24 с. - Текст : непосредственный.Вотинцева А.В. Исследование эквивалентностей для структур событий / А.В.Вотинцева, 1997. - 30 с. - Текст : непосредственный.Кадач А.В. Эффективные методы создания и передачи префиксных кодов / А.В.Кадач, 1997. - 27 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.
Показать все результатыТоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Чжан Сунхуа.Анализ, разработка и реализация в виде экспертной системы средств выбора структуры локальных вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.канд.:05.13.13 / Чжан Сунхуа, 1993. - 20 с. - Текст : непосредственный.Климанов В.П. Методология анализа вероятностно-временных характеристик локальных вычислительных сетей составных топологий на основе аналитического моделирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / В. П. Климанов, 1993. - 40 с. - Текст : непосредственный.Принципы установки для программных изделий кольцевой сети персонального компьютера / ВЦП. - 105 c. - Текст : непосредственный.Концепции построения локальных сетей / ВЦП. - 91 c. - Текст : непосредственный.Монтаж аппаратного и программного обеспечения для локальной сети на базе операционной системы / ВЦП. - 442 c. - Текст : непосредственный.Беляков В.Г. Методы и программные средства математического моделирования сетевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Беляков, 1994. - 19 с. - Текст : непосредственный.Биренбаум М.И. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топографии : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. И. Биренбаум, 1993. - 16 с. - Текст : непосредственный.Хачатрян А.Э. Разработка интеллектуально-имитационного метода выбора структуры распределенных отраслевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Э. Хачатрян, 1994. - 16 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11:05.13.13 / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Ковалев А.А. Интеллектуальная система автоматизированного проектирования структур многомашинных управляющих вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. А. Ковалев, 1994. - 19 с. - Текст : непосредственный.Копейкин Ю.А. Методы и алгоритмы автоматизированного синтеза архитектур многофункциональных конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Копейкин, 1994. - 16 с. - Текст : непосредственный.Ершов Н.М. Математические модели и методы обработки информации многопроцессорными вычислительными системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.16 / Н. М. Ершов, 1995. - 12 с. - Текст : непосредственный.Гольцева Л.В. Аппликативная вычислительная система с интенсиональными отношениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Л. В. Гольцева, 1995. - 20 с. - Текст : непосредственный.
Показать все результатыУстименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Чурина Т.Г. Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри / Т.Г.Чурина, 2000. - 35 с. - Текст : непосредственный.Окунишникова Е.В. Представление временных конструкций Estelle в различных моделях временных сетей Петри / Е.В.Окунишникова, 1999. - 32 с. - Текст : непосредственный.
Заказ фрагмента документа ₽