Найдено научных статей и публикаций: 302
11.
Обмен информацией между case-системами в соответствии со стандартом cdif
Обмен информацией между case-системами в соответствии со стандартом cdif
Филатов М.а. Обмен информацией между CASE-системами в соответствии со стандартом CDIF // Научная сессия МИФИ-2002. Т.2 Технологии разработки программных систем. Информационные технологии, стр. 26-27
12.
Доказательство соответствия модели безопасности функциональной спецификации ос trusted mach с использованием автоматизированной системы доказательства acl2
Доказательство соответствия модели безопасности функциональной спецификации ос trusted mach с использованием автоматизированной системы доказательства acl2
Зегжда П.д., Тенихин А.л. Доказательство соответствия модели безопасности функциональной спецификации ОС TRUSTED MACH с использованием автоматизированной системы доказательства ACL2 // Научная сессия МИФИ-2002. 9-я Всероссийская научно-техническая конференция. Проблемы информационной безопасности в системе высшей школы , стр. 43-44
13.
Анализ возможностей адаптации электронных учебников на соответствие стандарту ims
Анализ возможностей адаптации электронных учебников на соответствие стандарту ims
Лейбов А.м, Мельничук А.н, Мозжухин М.а, Таньков Д.о, Филатов А.с, Филатов А.с Анализ возможностей адаптации электронных учебников на соответствие стандарту IMS // Научная сессия МИФИ-2003. Т.10 Телекоммуникации и новые информационные технологии в образовании, стр. 104-105
14.
Методы оптимизации быстродействия устройства криптографического преобразования в соответствии в гост 28147-89, разработанного на базе программируемых логических интегральных схем
Методы оптимизации быстродействия устройства криптографического преобразования в соответствии в гост 28147-89, разработанного на базе программируемых логических интегральных схем
Круппа З.п. Методы оптимизации быстродействия устройства криптографического преобразования в соответствии в ГОСТ 28147-89, разработанного на базе программируемых логических интегральных схем // Научная сессия МИФИ-2003. 10 Всероссийская научная конференция. Проблемы информационной безопасности в системе высшей школы, стр. 111-112
15.
Алгоритм вейвлет-сжатия неподвижных цифровых изображений с использованием оптимального базиса на соответствующих уровнях разложения
Алгоритм вейвлет-сжатия неподвижных цифровых изображений с использованием оптимального базиса на соответствующих уровнях разложения
Предложен алгоритм вейвлет-сжатия неподвижных цифровых изображений с использованием оптимального базиса класса Добеши на каждом уровне разложения Показано, что предложенный алгоритм при обработке 8-ми битных монохромных изображений превосходит JPEG на 22% и требует меньше вычислительных затрат, чем JPEG2000 при сжатии 24-х битных цветных изображений
16.
Учет производственных инвестиций российскими нефтедобывающими компаниями в соответствии со стандартами бухгалтерского учета сша
Учет производственных инвестиций российскими нефтедобывающими компаниями в соответствии со стандартами бухгалтерского учета сша
Маковей С.Л. Учет производственных инвестиций российскими нефтедобывающими компаниями в соответствии со стандартами бухгалтерского учета США: автореф. дис. ... канд. экон. наук : 08.00.12. - M, 2007.
17.
Судебно-психиатрическая оценка в соответствии со ст.22 ук рф психического состояния лиц, совершивших сексуальные правонарушения
Судебно-психиатрическая оценка в соответствии со ст.22 ук рф психического состояния лиц, совершивших сексуальные правонарушения
Клопина Т.С. Судебно-психиатрическая оценка в соответствии со ст.22 ук рф психического состояния лиц, совершивших сексуальные правонарушения: автореф. дис. ... канд. мед. наук : 14.00.18. - M, 2008.
18.
Производство по уголовным делам частного обвинения в соответствии с уголовно- процессуальным кодексом российской федерации автореферат диссертации на соискание ученой степени кандидата юридических наук
Производство по уголовным делам частного обвинения в соответствии с уголовно- процессуальным кодексом российской федерации автореферат диссертации на соискание ученой степени кандидата юридических наук
Соболев М.В. Производство по уголовным делам частного обвинения в соответствии с Уголовно- процессуальным кодексом Российской Федерации Автореферат диссертации на соискание ученой степени кандидата юридических наук: автореф. дис. ... канд. юр. наук : 12.00.09. - M, 2008.
19.
Разработка методики подтверждения соответствия импортируемой машиностроительной продукции
Разработка методики подтверждения соответствия импортируемой машиностроительной продукции
Родионов А.В. Разработка методики подтверждения соответствия импортируемой машиностроительной продукции: автореф. дис. ... канд. техн. наук : 05.02.23. - M, 2007.
20.
Разработка комплексной методики подтверждения соответствия требований к безопасности систем автоматической посадки самолета нормам летной годности
Разработка комплексной методики подтверждения соответствия требований к безопасности систем автоматической посадки самолета нормам летной годности
Ким Е.Г. Разработка комплексной методики подтверждения соответствия требований к безопасности систем автоматической посадки самолета нормам летной годности: автореф. дис. ... канд. техн. наук : 05.07.07. - M, 2008.