Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Програмування комп’ютерів. Комп’ютерні програми

Алгоритми для конструювання програм

Підтеми:

• Базові (головні) математичні алгоритми
• Алгоритм виразу оцінок
• Алгоритми генерації випадкових (псевдовипадкових) чисел
• Алгоритми символічної обробки

Документи:

• Классификационные модели и системные методы информационной подготовки и поддержки многокритериальных решений [Текст] : дис. ... канд. техн. наук : 01.05.04 "Системный анализ и теория оптимальных решений" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2003. — 187 с.
• Классификация критериев и задач эффективного согласования алгоритмов управления и структуры УЦВК (ІІ) [Текст] / В.А. Попов // Радиотехнические системы и устройства : сб. науч. тр. / Гос. ком. СССР по народ. образованию, Харьк. авиац. ин-т им. Н.Е. Жуковского. — Х. : ХАИ, 1988. — С. 126-134.
• Когомологии ограниченных алгебр Ли гамильтоновых векторных полей: компьютерный анализ. [Текст] / Объединенный институт ядерных исследований, г.Дубна, Московской обл. // Программирование. — 2005. — С. 51-55.
• Контекстно-асоціативний підхід до автоматизованого виправлення орфографічних помилок [Текст] / Національний технічний університет України "КПІ", м.Київ, Україна // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал / Ін-т прикладного системного аналізу; НАНУ; МОН України. — К., 2009. — С. 21-30.
• Контроль и диагностика непрерывных объектов по интегральным показателям [Текст] / Н.Д. Кошевой // Авіаційно-космічна техніка і технологія : Зб.наук.праць / МОН України,Держ.аерокосмічний ун-т "Харк.авіац.ін-т";Редкол.:В.С.Кривцов (відп.ред.)та ін. — Харків : "ХАІ", 2000. — С. 176-178.
• Лабораторный практикум по курсу "Теория алгоритмов и математическое обеспечение САПР" на базе ЕС ЭВМ. [Текст] : учеб. пособие / В.Ю. Бутенко, В.Н. Овсянник, В.М. Паршин та ін. — Х. : ХАИ, 1987. — 94 с.
• Математична модель та методи ефективного визначення розладки ритмокардіосигналу [Текст] : автореф. дис... канд. техн. наук : 01.05.02- мат. моделювання та обчисл. методи / М-во освіти і науки України, Терноп. нац. техн. ун-т ім. І. Пулюя. — Тернопіль, 2011. — 20 с.
• Математична модель та методи ефективного визначення розладки ритмокардіосигналу [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 - мат. моделювання та обчисл. методи / М-во освіти і науки України, Терноп. нац. техн. ун-т ім. І. Пулюя. — Тернопіль, 2013. — 20 с.
• Математична модель та метод пошуку локального мінімуму в задачі оптимального розміщення неорієнтованих багатокутників [Текст] : пояснюв. зап. до диплом. роботи магістра : 8.04030101 - прикладна математика : (робота викон. на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем управління літ. апаратів, Каф. інформатики (№ 304) ; кер. Карташов О. В. — Х., 2015. — 72 с. + додатки.
• Математичні моделі та методи підтримки ходу розв'язання навчальних задач з аналітичної геометрії [Текст] / Херсонський державний університет, м Херсон, Україна // Искусственный интеллект. — 2010. — С. 86-92.
• Математичні моделі та програмне забезпечення для прогнозування основних макроекономічних показників економіки України [Текст] : автореф. дис... канд. техн. наук : 01.05.02- математичне моделювання та обчислювальні методи / М-во освіти і науки, молоді та спорту України, КНУ ім. Т. Шевченка. — К., 2011. — 24 с.
• Машинная математика. Проблемы и перспективы [Текст] / И.Н. Молчанов // Кибернетика и системный анализ : междунар.науч.-теоретич.журнал. — К., 2004. — 6. — С.65-72.
• Метод доказательства инвариантности линейных неравенств для линейных циклов [Текст] / М.С. Львов // Кибернетика и системный анализ. — 2014. — С. 180-185.
• Метод и критерий оценивания качества последовательностей случайных чисел [Текст] / Э.В. Фауре, А.И. Щерба, В.Н. Рудницкий // Кибернетика и системный анализ. — 2016. — С. 116-124.
• Методи та алгоритми автоматизованого формування логіко-лінгвістичних моделей текстової інформації [Текст] : автореф. дис.... канд. техн. наук : 05.13.06- інформ. технології / НАНУ, Ін-т проблем математичних машин і систем. — К., 2010. — 20 с.
• Методи та засоби генерації нелінійних вузлів заміни для симетричних криптоалгоритмів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.21 "Системи захисту інформації" / Харків. нац. ун-т радіоелектроніки. — Харків, 2014. — 20 с.
• Методичні вказівки до завдання "Схеми алгоритмів і програм" з курсу "Інженерна та комп`ютерна графіка" для студентів 1 курсу всіх спеціальностей та форм навчання інституту комп`ютерних та інформаційних технологій [Текст] / упоряд. Л. І. Цимбал ; МОН України, ,ХТУРЕ. — Харків : ХТУРЕ, 2001. — 28 с.
• Метод прямой стабилизации контурной скорости для сплайнового интерполятора системы ЧПУ [Текст] / В.Ф. Сорокин, В.В. Комбаров, И.А. Тернюк // . — С. 7-13.
• Метод расширенной интеграции элементов управления в графических приложениях [Текст] / В.А. Власов // Информационные технологии. — 2013. — С. 62-66.
• Метод решения проблемы расчета техногенных рисков [Текст] / В.В. Бегун, С.А. Вахнин // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 3-9.
• Метод учета латентности при схемотехническом моделировании СБИС [Текст] / Д.В. Перминов // Известия высших учебных заведений, Электроника : научно-технический журнал. — М., 2004. — 1. — С.71-75.
• Метод формирования модели анализа сложной системы [Текст] / В.В. Мокшин, И.М. Якимов // Информационные технологии. — 2011. — С. 46-51.
• Методы алгоритмизации биллинговых задач в корпоративных компьютерных системах [Текст] : дис. ... канд. техн. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информационные технологии / Нац. аэрокосм. ун-т "ХАИ" ; рук. Чумаченко И.В. — Х., 2005. — 152 с.
• Методы и алгоритмы вычислений в теории колебательных спектров молекул [Текст] : [ моногр. ] / АН СССР, Ин-т геохимии и аналит. химии им. В. И. Вернадского. — М. : Наука, 1981. — 355 c.
• Методы и алгоритмы вычислений на строках [Текст] = Computing patterns in strings : пер. с англ. / Б. Смит. — М. ; СПб. ; К. : Вильямс, 2006. — 496 с.
• Методы умножения чмсел большой разрядности в программных комплексах аасимметричной криптографии. Определение границ эффективности методов. [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Искусственный интеллект. — 2004. — С. 776-784.
• Многоканальные RLS-алгоритмы с линейными ограничениями [Текст] / В.И. Джиган // Известия высших учебных заведений, Электроника : научно-технический журнал. — М., 2004. — 3. — С.46-53.
• Многоканальный РНК-алгоритм адаптивной фильтрации на основе обратной факторизации с использованием преобразований Хаусхолдера [Текст] / В.И. Джиган // Известия высших учебных заведений. Электроника : научно-технический журнал. — М., 2004. — №4. — С.44-51.
• Модели и методы алгоритмизации функциональных задач управления и переработки информации в бортовых приборных комплексах [Текст] : дис. ... канд. техн. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информ. технологии / Нац. аэрокосм. ун-т "ХАИ"; рук. Чумаченко И.В. — Х., 2003. — 199 с.
• Модели реализации алгоритмов, данных и программ в сложных системах [Текст] / С.Ю. Мелешенко, А.Р. Емад // . — С. 80-87.
• Моделирование процессов обработки деталей резанием и поверхностным пластическим деформированием [Текст] / А.А. Кречетов, И.В. Мирошин // . — С.14-19.
• Моделирование, разработка и характеристики специализированных сцинтилляционных детекторов [Текст] : дис. ... д-ра физ.-мат. наук : 01.04.01 "Физика приборов, элементов и систем" / НАН Украины, Ин-т сцинтилляционных материалов. — Харьков, 2012. — 334 с.
• Моделирование распределенных систем с модульной архитектурой на основе сетей Петри [Текст] / А.В. Яковлев, В.Е. Дидрих, В.Н. Шамкин, М.Н. Краснянский // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2012. — С. 34-37.
• Моделі та інструментальні засоби систем управління IT-інфраструктурою організацій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Харк. нац. ун-т радіоелектрон. — Х., 2014. — 21 с.
• Моделювання, розробка і характеристики спеціалізованих сцинтиляційних детекторів [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.04.01 "Фізика приладів, елементів і систем" / МОНМС України, Харків. нац. ун-т радіоелектроніки. — Харків, 2012. — 38 с.
• Модернизация магнитного масс спектрометра МИ1201 для исследования взаимодействия электронов низких энергий со сложными молекулами [Текст] / В.С. Вукстич, А.И. Имре, А.В. Снегурский // Приборы и техника эксперимента  : научный журнал / РАН. — С. 66-72.
• Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры и алгоритмов [Текст] / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 27-36.
• Модифицированные генетические алгоритмы решения многоэкстремальных задач в условиях ограничений [Текст] / Ю.А. Зак // Информационные технологии. — 2014. — С. 3-10.
• Мультипроцесорна система пошуку, розпізнавання та прийняття рішень для інформаційної комп'ютерної екосистеми [Текст] : звіт про НДР (заключ.) СD-ROM / МОН України, ХНУРЕ ; наук. кер. В. І. Хаханов ; викон. : Є. І. Литвинова та ін. — Харків, 2014. — 192 с.
• Навчальна програма з дисципліни "Живучесть СУ" [Текст] : пояснюв. зап. до вип. роботи бакалавра : 050201 - системна інженерія : (робота викон. на рос. мові) / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т систем упр. літ. апаратів, Каф. № 301 ; кер. Бичкова І. В. — Х., 2013. — 64 с. + додатки.
• Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай. [Текст] / Институт системного программирования РАН // Программирование. 5 , 2003. — С. 11-30.
• Нейросетевой подход к задаче минимизации квадратичного функционала. [Текст] / Институт оптико-нейронных технологий РА, г.Москва, Россия // Искусственный интеллект. — 2004. — С. 542-549.
• Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов [Текст] / М.С. Львов, В.А. Крекнин // . — С. 126-140.
• Новые требования и принципы разработки современных алгоритмов блочного шифрования (по результатам анализа алгоритмов-кандидатов в AES) [Текст] / А.В. Потий, О.И. Олешко // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования Украины, Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 1999. — С. 143-157.
• Обгрунтування системи автоматизованої розробки технічної документації на радіоелектронну апаратуру [Текст] : пояснюв. зап. до диплом. роботи магістра : 6.050902 - радіоелектрон. апапрати, 8.05090201 - радіоелектрон. апарати та засоби : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. вир-ва радіоелектрон. систем літ. апаратів (№ 502) ; кер. Даншина С. Ю. — Х., 2013. — 119 с.
• Обгрунтування та розробка автоматизованої системи створення технічної документації для виробництва радіоелектронної апаратури [Текст] = Обоснование и разработка автоматизированной системы создания технической документации для производства радиоэлектронных аппаратов : пояснюв. зап. до диплом. роботи магістра : 6.050902 - радіоелектрон. апарати, 8.05090201 - радіоелектрон. апарати та засоби : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. вир-ва радіоелектрон. систем літ. апаратів (№ 502) ; кер. Соколов Ю. М. — Х., 2014. — 119 с. + додатки.
• Об одной компьютерно-алгебраической технологии [Текст] / С.А. Абрамов, А.А. Рябенко // Программирование. — 2008. — С. 9-13.
• Об одном алгоритме построения расписаний в условиях временных ограничений [Текст] / А.С. Добрынин, Р.С. Койнов // Информационные технологии. — 2014. — С. 77-80.
• Об одном методе поиска корней идеала. [Текст] / Саратовский государственный университет // Программирование. — 2005. — С. 64-71.
• Об одном подходе к реализации автоматического контрастирования тепловизионного изображения [Текст] / НИИ многопроцессорных вычислительных систем Южного Федерального университета, г.Таганрог, Россия // Искусственный интеллект. — 2009. — С. 543-547.

1    2    3   4    5    6