Приложение
для AndroidПолное описание
Кузьмин, А. К. Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. К. Кузьмин. - Киев : [б. и.], 1990. - 12 с. : ил. - Текст : непосредственный.
В надзаг.: АН УССР,Ин-т кибернетики им.В.М.Глушкова. Библиогр.: с. 11-12(5назв.).
| ГРНТИ | УДК | |
| 50.09.47 | 004.62(043) |
Рубрики:
Безопасность получения, хранения, передачи и обработки информации
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкфш. Шифр МФ
Программное обеспечение NCOS. Операционная система NCOS1. Протокольный контроллер связи типа BASIC / ВЦП. - 237 с. - Текст : непосредственный.SYSMAC. Программируемые контроллеры С20К/С28К/С40К : Руководство по установке системы / ВЦП. - 63 с. - Текст : непосредственный.Измерительная, регулирующая и смазывающая аппаратура / НПВО Машмир. - 27 с. - Текст : непосредственный.Гидравлическое, пневматическое, контрольно-измерительное и регулирующее оборудование / НПВО. - 17 с. - Текст : непосредственный.Пневматическое,гидравлическое,контрольно-измерительное,регулирующее оборудование / НПВО Машмир. - 19 с. - Текст : непосредственный.Перспективы использования пневматических устройств / НПВО. - 19 с. - Текст : непосредственный.Программный регулятор с микропроцессорным управлением : Руководство по эксплуатации / ВЦП. - 52 c. - Текст : непосредственный.Плата контроллера накопителя на жестком магнитном диске WDXT-GEN2 PLUS : Инструкция по установке платы / ВЦП. - Текст : непосредственный.Устройство OZ/Guardian корпорации Трай-Дэйтэ / ВЦП. - 16 c. - Текст : непосредственный.Инструкция GEK-61679A (соответствует GEK-40421) : Сб. инструкций процессора DLC / ВЦП. - 108 с. - Текст : непосредственный.Контроллер случайных вибраций 1209 / ВЦП. - 138 с. - Текст : непосредственный.Техническое описание платы контроллера соединений / ВЦП. - 30 c. - Текст : непосредственный.Преобразователи измерительной справки для встроенного тестирования печатных плат / ВЦП. - 64 c. - Текст : непосредственный.Конвертер для устройства тестирования плат / ВЦП. - 34 c. - Текст : непосредственный.Попов Б.Н. Методы проектирования и аппаратная реализация цифровых регуляторов для систем управления быстропротекающими процессами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Б. Н. Попов, 1991. - 16 с. - Текст : непосредственный.Кузьмин А.К. Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. К. Кузьмин, 1990. - 12 с. - Текст : непосредственный.Рустамов К.А. Основы построения стабилизирующих финитных регуляторов промышленного назначения : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / К. А. Рустамов, 1991. - 32 с. - Текст : непосредственный.Еремеев Г.В. Анализ и параметрический синтез дискретных устройств фазовой синхронизации с учетом их статистических и нелинейных свойств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Г. В. Еремеев, 1992. - 22 с. - Текст : непосредственный.Абделелах К.М. Синтез регуляторов систем управления на основе минимизации функционала невязки : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / К. М. Абделелах, 1992. - 12 с. - Текст : непосредственный.Карпов В.С. Принципы построения и синтез быстродействующих регуляторов для промышленных объектов при наличии запаздывания:На прим.объектов в машиностроит.,хим.и др.отраслях нар.хоз-ва : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / В. С. Карпов, 1992. - 39 с. - Текст : непосредственный.
Показать все результатыЗайцев В.Б. Дезактивация фотовозбужденных молекул красителя на поверхностях твердых тел с зарядовой гетерогенностью : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.17 / В. Б. Зайцев, 1991. - 16 с. - Текст : непосредственный.Тихоненко О.М. Модели обслуживания неоднородных требований и их применение для расчета объема памяти систем обработки информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / О. М. Тихоненко, 1991. - 38 с. - Текст : непосредственный.Кузьмин А.К. Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. К. Кузьмин, 1990. - 12 с. - Текст : непосредственный.Абдулкеримов С.А. Разработка методов и алгоритмов прогнозирования качественных ситуаций в задачах обработки разнотипных данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01,05.13.16 / С. А. Абдулкеримов, 1991. - 20 с. - Текст : непосредственный.Тарановский М.Р. Теоретические и прикладные аспекты генерации программ обработки данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / М. Р. Тарановский, 1991. - 16 с. - Текст : непосредственный.Кузьменков В.В. Логико-статистические алгоритмы анализа причинно-следственных связей при наличии категоризованных данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.06 / В. В. Кузьменков, 1992. - 16 с. - Текст : непосредственный.Водяхо А.И. Архитектура,организация и проектирование высокопроизводительных проблемно-ориентированных векторно-потоковых систем обработки информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / А. И. Водяхо, 1992. - 32 с. - Текст : непосредственный.Семенов С.В. Использование кодирования в сети передачи данных для уменьшения задержки сообщения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. В. Семенов, 1992. - 22 с. - Текст : непосредственный.Буза М.К. Методы и средства двумерной обработки данных в параллельных системах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / М. К. Буза, 1992. - 26 с. - Текст : непосредственный.Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах : Дис..д-ра техн.наук в форме науч.докл.:05.13.17 / В. Ш. Рубашкин, 1992. - 48 с. - Текст : непосредственный.Пяткова С.И. Об оценках надежности резервированной системы с программной стратегией подключения резервных элементов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. И. Пяткова, 1993. - 15 с. - Текст : непосредственный.Хабипов М.И. Сверхпроводниковые одноквантовые структуры для обработки информации : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.01 / М. И. Хабипов, 1993. - 21 с. - Текст : непосредственный.Чередниченко В.К. Разработка метода и средств построения информационных систем с динамически изменяемой структурой хранения данных на ПЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / В. К. Чередниченко, 1993. - 16 с. - Текст : непосредственный.Алиев Ш.С. Методы и алгоритмы системного проектирования ЭВМ и сетей передачи данных с неоднородной нагрузкой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ш. С. Алиев, 1993. - 20 с. - Текст : непосредственный.Кононов А.А. Метод объектно-ориентированного анализа потребностей пользователей в ресурсах информационных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.10 / А. А. Кононов, 1993. - 16 с. - Текст : непосредственный.Зайцева Е.Н. Методы и алгоритмы обработки многозначных данных на линейных систолических процессорах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. Н. Зайцева, 1994. - 18 с. - Текст : непосредственный.Петров А.Б. Разработка структур и методик расчета цифровых элементов памяти на высокотемпературных сверхпроводниках : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. Б. Петров, 1994. - 18 с. - Текст : непосредственный.Финаев В.И. Разработка методов моделирования и адаптивного управления в системах и сетях передачи дискретной информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16:05.13.14 / В. И. Финаев, 1993. - 37 с. - Текст : непосредственный.Юзвишин И.И. Методы анализа и синтеза информационно-вычислительных систем и сетей массового обслуживания : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.06 / И. И. Юзвишин, 1993. - 38 с. - Текст : непосредственный.Самойленко И.А. Разработка и исследование метода функциональной поддержки работоспособности информационно-вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / И. А. Самойленко, 1994. - 28 с. - Текст : непосредственный.
Показать все результатыЗайцев В.Б. Дезактивация фотовозбужденных молекул красителя на поверхностях твердых тел с зарядовой гетерогенностью : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.17 / В. Б. Зайцев, 1991. - 16 с. - Текст : непосредственный.Кузьмин А.К. Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. К. Кузьмин, 1990. - 12 с. - Текст : непосредственный.Абдулкеримов С.А. Разработка методов и алгоритмов прогнозирования качественных ситуаций в задачах обработки разнотипных данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01,05.13.16 / С. А. Абдулкеримов, 1991. - 20 с. - Текст : непосредственный.Тарановский М.Р. Теоретические и прикладные аспекты генерации программ обработки данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / М. Р. Тарановский, 1991. - 16 с. - Текст : непосредственный.Кузьменков В.В. Логико-статистические алгоритмы анализа причинно-следственных связей при наличии категоризованных данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.06 / В. В. Кузьменков, 1992. - 16 с. - Текст : непосредственный.Водяхо А.И. Архитектура,организация и проектирование высокопроизводительных проблемно-ориентированных векторно-потоковых систем обработки информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / А. И. Водяхо, 1992. - 32 с. - Текст : непосредственный.Буза М.К. Методы и средства двумерной обработки данных в параллельных системах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / М. К. Буза, 1992. - 26 с. - Текст : непосредственный.Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах : Дис..д-ра техн.наук в форме науч.докл.:05.13.17 / В. Ш. Рубашкин, 1992. - 48 с. - Текст : непосредственный.Пяткова С.И. Об оценках надежности резервированной системы с программной стратегией подключения резервных элементов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. И. Пяткова, 1993. - 15 с. - Текст : непосредственный.Хабипов М.И. Сверхпроводниковые одноквантовые структуры для обработки информации : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.01 / М. И. Хабипов, 1993. - 21 с. - Текст : непосредственный.Чередниченко В.К. Разработка метода и средств построения информационных систем с динамически изменяемой структурой хранения данных на ПЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / В. К. Чередниченко, 1993. - 16 с. - Текст : непосредственный.Кононов А.А. Метод объектно-ориентированного анализа потребностей пользователей в ресурсах информационных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.10 / А. А. Кононов, 1993. - 16 с. - Текст : непосредственный.Зайцева Е.Н. Методы и алгоритмы обработки многозначных данных на линейных систолических процессорах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. Н. Зайцева, 1994. - 18 с. - Текст : непосредственный.Юзвишин И.И. Методы анализа и синтеза информационно-вычислительных систем и сетей массового обслуживания : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.06 / И. И. Юзвишин, 1993. - 38 с. - Текст : непосредственный.Самойленко И.А. Разработка и исследование метода функциональной поддержки работоспособности информационно-вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / И. А. Самойленко, 1994. - 28 с. - Текст : непосредственный.Зеленский В.А. Устройства сбора информации на основе оптических цифро-аналоговых преобразователей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.05 / В. А. Зеленский, 1993. - 15 с. - Текст : непосредственный.Бельский Ю.Л. Обработка сигналов и передача информации с использованием методов хаотической динамики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.03 / Ю. Л. Бельский, 1994. - 18 с. - Текст : непосредственный.Прохоров А.Г. Инструментальные программные средства с использованием представлений знаний для построения вычислительных комплексов автоматизированных информационных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / А. Г. Прохоров, 1994. - 20 с. - Текст : непосредственный.Шевелев С.С. Специализированные устройства обработки символьной информации : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / С. С. Шевелев, 1994. - 21 с. - Текст : непосредственный.Бордя Т.Д. Розробка та дослiдження мовнодiалогових систем у мультимедiйних технологiях (на прикладi експертноi системи дiагностики патологii мови) : Автореферат диссертации на соискание ученой степени канд. техн.наук:05.25.05 / Т. Д. Бордя, 1995. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽