Приложение
для AndroidПолное описание
Дубинин, В. Н. Языки логического программирования в проектировании вычислительных систем и сетей : учеб.пособие / В.Н.Дубинин,С.А.Зинкин. - Пенза : [б. и.], 1997. - 87 с. : ил. - 100 экз. - Б. ц. - Текст : непосредственный.
В надзаг.:Пенз.гос.техн.ун-т.Библиогр.:с.81-86(65 назв.)
| ГРНТИ | УДК | |
| 50.39 | 004.7-047.56:004 |
Рубрики:
Вычислительные системы -- Проектирование
Вычислительные сети -- Проектирование
Кл.слова (ненормированные): логическое программирование -- эвм -- вычислительная система -- проектирование -- вычислительная сеть -- проектирование
Доп. точки доступа:
Зинкин, С.А.
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Интерфейсная плата Ethernet : Руководство пользователя / ВЦП. - 15 с. - Текст : непосредственный.Вычислительные сети в советском научном сообществе.3.3 / ВЦП. - 41 c. - Текст : непосредственный.Тоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Бойчев Ч.Ч. Разработка методов и средств проектирования распределенных вычислительных систем с использованием экспертных систем и аналитических моделей :На примере АСУТП ГЭС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13;05.14.02 / Ч. Ч. Бойчев, 1991. - 19 с. - Текст : непосредственный.Попов В.Б. Метод анализа и проектирования диалоговых систем на базе конструктивных функциональных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. Б. Попов, 1991. - 19 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Карим Х.М. Механизмы повышения отказоустойчивости кольцевых сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Х. М. Карим, 1991. - 16 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Кучеров В.П. Разработка неоднородной вычислительной сети и оценка функционирования ее компонентов : Автореферат диссертации на соискание ученой степени канд.техн.наук в форме науч.доклада / В. П. Кучеров, 1991. - 19 с. - Текст : непосредственный.Сабельникова С.В. Исследование и разработка транспортных протоколов с прямой коррекцией ошибок в вычислительных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / С. В. Сабельникова, 1991. - 18 с. - Текст : непосредственный.Смирнов А.Н. Исследование и разработка средств сетевых взаимодействий абонентов в локальных управляющих сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Н. Смирнов, 1991. - 18 с. - Текст : непосредственный.Реутов В.В. Синтез и исследование структур проблемно-ориентированных вычислительных систем методом геометрического моделирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. В. Реутов, 1991. - 16 с. - Текст : непосредственный.Драч Н.Д. Аналитико-имитационное моделирование транспортной сети коммутации пакетов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. Д. Драч, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Дмитриев Я.В. Разработка и анализ имитационной системы с экспертной оболочкой для задач моделирования вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Я. В. Дмитриев, 1992. - 20 с. - Текст : непосредственный.Гагин А.А. Теоретические основы автоматизированного анализа и оптимизации распределенных информационно-вычислительных сетей с учетом надежности и живучести : Автореферат диссертации на соискание ученой степени:05.13.06,05.13.13 / А. А. Гагин, 1991. - 35 с. - Текст : непосредственный.Хамицкий В.А. Исследование и разработка многофункциональных агрегатов для построения испытательных и моделирующих устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. А. Хамицкий, 1992. - 19 с. - Текст : непосредственный.
Показать все результатыТитов В.Г. Базовый графо-функциональный комплекс высокого уровня САПР управляющих и вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / В. Г. Титов, 1998. - 19 с. - Текст : непосредственный.Пирогов В.В. Исследование применимости генетических алгоритмов в автоматизированном проектировании вычислительных сетей и в задачах размещения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / В. В. Пирогов, 2000. - 23 с. - Текст : непосредственный.Савельев М.В. Автоматизация проектирования вычислительных систем : Учеб.пособие / М.В.Савельев, 1997. - 64 с. - Текст : непосредственный.Дубинин В.Н. Языки логического программирования в проектировании вычислительных систем и сетей : Учеб.пособие / В.Н.Дубинин,С.А.Зинкин, 1997. - 87 с. - Текст : непосредственный.Борде Б.И. Основы САПР неоднородных вычислительных устройств и систем : Учеб. пособие для студентов вузов по направлению "Информатика и вычисл. техника", спец. "Вычисл. машины, комплексы, системы и сети", "Автоматизир. системы обраб. информ. и упр.", "Системы автоматизир. проектирования" / Б.И.Борде, 1996. - 248 с. - Текст : непосредственный.Волгин Л.И. Свойства и структуры функции осреднения / Л.И.Волгин, 1992. - 72 с. - Текст : непосредственный.Борде Б.И. Основы САПР неоднородных вычислительных устройств и систем : Учеб.пособие / Б.И.Борде, 2001. - 350 с. - Текст : непосредственный.Ивашенцев В.А. Методы и алгоритмы автоматизированного проектирования ЭВМ и систем : Учеб. пособие по курсу "Автоматизир. проектирование вычисл. систем" для дневной и веч. форм обучения / В.А.Ивашенцев, 1990. - 68 c. - Текст : непосредственный.Гриншпан Л.А. Средства автоматизации проектирования и разработки микропроцессорных систем : Учеб. пособие / Л. А. Гриншпан, А. Я. Князев, Е. М. Левин, 1989. - 76 с. - Текст : непосредственный.Автоматизированное топологическое проектирование вычислительных сетей на основе потоковой модели рабочей нагрузки : автореф. дис. .. канд. техн. наук : 05.13.12 / М.С. Азов, 2005. - 17 с. - Текст : непосредственный.Бакулина М.А. Средства разработки и анализа алгоритмов решения задач структурного синтеза на графах : автореф. дис. .. канд. техн. наук : 05.13.11 / М. А. Бакулина, 2006. - 16 с. - Текст : непосредственный.Азов М.С. Автоматизированное топологическое проектирование вычислительных сетей на основе потоковой модели рабочей нагрузки : автореф. дис. .. канд. техн. наук : 05.13.12 / М. С. Азов, 2006. - 26 с. - Текст : непосредственный.Филимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей : автореф. дис. .. канд. техн. наук : 05.13.18 / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Системы автоматизированного проектирования электронных устройств и систем (E-CAD/EDA-системы) : учеб. пособие / Ю. В. Петров [и др.] ; под ред. Ю. В. Петрова, 2015. - 63 с. - Текст : непосредственный.Борде, Бернгард Исаакович. Методы автоматизации проектирования неоднородных вычислительных систем и информационных моделей объектов : монография / Б. И. Борде, 2020. - 211 с. - Текст (визуальный) : непосредственный.Гусаров, Александр Вячеславович. Основы проектирования специализированных ВС на ПЛИС : учебное пособие / А. В. Гусаров, 2022. - 63 с. - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽