Одеська національна наукова бібліотека

Повернутися до сайту ОННБ
Бібліотека працює:
понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

  • Нові надходження
  • Простий пошук

  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК

  • Приклади оформлення бланка вимоги

  • Перелік наукових спеціальностей

  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Книги у рубриці: Математичне та програмне забезпечення обчислювальних машин і систем

Рубрики
--> Фізико-математичні науки
----> Інформатика і кібернетика
------> Математичне та програмне забезпечення обчислювальних машин і систем

Рубрика

Назва:
 
Математичне та програмне забезпечення обчислювальних машин і систем  

Друк списку

Зв'язані описи:

Відобразити для друку: сторінку | інверсія | сброс | друк(0)

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | вперед >>
Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розпод...
Недоступно
 0 из 1
Автореферат/Дисертація
Борисов Євген Сергійович
Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розпод...: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2006 г.
ISBN відсутній


Агентно-базовані програмні системи пошуку та аналізу інформації
Недоступно
 0 из 2
Автореферат/Дисертація
Глибовець, Андрій Миколайович
Агентно-базовані програмні системи пошуку та аналізу інформації: автореф. дис. … д-ра техн. наук, 01.05.03
[б.в.], 2018 г.
ISBN відсутній


Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби
Недоступно
 0 из 1
Автореферат/Дисертація
Амонс Олександр Анатолійович
Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2006 г.
ISBN відсутній


Алгебраїчні методи верифікації асинхронних паралельних систем
Недоступно
 0 из 1
Автореферат/Дисертація
Потієнко, Степан Валерійович
Алгебраїчні методи верифікації асинхронних паралельних систем: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній


Алгебраїчні методи виявлення вразливостей в бінарному коді
Недоступно
 0 из 2
Автореферат/Дисертація
Яковлев, Віктор Михайлович
Алгебраїчні методи виявлення вразливостей в бінарному коді: автореф. дис. ... канд. фіз.-мат. наук, [спец.] 01.05.03
[б.в.], 2021 г.
ISBN відсутній


Алгоритми архівації на основі системи числення Штерна-Броко
Недоступно
 0 из 1
Автореферат/Дисертація
Глинчук Людмила Ярославівна
Алгоритми архівації на основі системи числення Штерна-Броко: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2010 г.
ISBN відсутній


Аналіз та верифікація MSC-систем за допомогою мереж Петрі
Недоступно
 0 из 1
Автореферат/Дисертація
Матвєєва Людмила Євгенівна
Аналіз та верифікація MSC-систем за допомогою мереж Петрі: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній


Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів
Недоступно
 0 из 1
Автореферат/Дисертація
Летичевський Олександр Олександрович
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній


Високопаралельні алгоритми та засоби для розв'язання задач масових арифметичних і логічних обчислень
Недоступно
 0 из 1
Автореферат/Дисертація
Яджак Михайло Степанович
Високопаралельні алгоритми та засоби для розв'язання задач масових арифметичних і логічних обчислень: автореф. дис. ... д-ра фiз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній


Гібридні моделі і методи прогнозування рекомендацій для інтернет-магазину
Недоступно
 0 из 1
Автореферат/Дисертація
Шварц, Михайло Євгенійович
Гібридні моделі і методи прогнозування рекомендацій для інтернет-магазину: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2019 г.
ISBN відсутній


Доменно-орієнтований метод та засіб конструювання програмного забезпечення пультів інструктора ав...
Недоступно
 0 из 1
Автореферат/Дисертація
Рябокінь, Юлія Миколаївна
Доменно-орієнтований метод та засіб конструювання програмного забезпечення пультів інструктора ав...: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2013 г.
ISBN відсутній


Дослідження властивостей цифрових дерев з адаптивним гілкуванням
Недоступно
 0 из 1
Автореферат/Дисертація
Резнік Юрій Олександрович
Дослідження властивостей цифрових дерев з адаптивним гілкуванням: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній


Дослідження методів захисту інформації в динамічних рівноправних групових середовищах
Недоступно
 0 из 1
Автореферат/Дисертація
Іванов Інокентій Юрійович
Дослідження методів захисту інформації в динамічних рівноправних групових середовищах: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній


Дослідження методів побудови сервісно-орієнтованих систем автоматизації електронного навчання
Недоступно
 0 из 1
Автореферат/Дисертація
Холод Денис Володимирович
Дослідження методів побудови сервісно-орієнтованих систем автоматизації електронного навчання: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2007 г.
ISBN відсутній


Дослідження методів удосконалення нейронної асоціативної пам'яті та її застосування в гібридних м...
Недоступно
 0 из 1
Автореферат/Дисертація
Сичов Олександр Сергійович
Дослідження методів удосконалення нейронної асоціативної пам'яті та її застосування в гібридних м...: Автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2003 г.
ISBN відсутній


Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу
Недоступно
 0 из 1
Автореферат/Дисертація
Тимофєєв, Валентин Георгійович
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2013 г.
ISBN відсутній


Експериментальні методи оцінки часової та функціональної ефективності алгоритмів у програмно-апар...
Недоступно
 0 из 1
Автореферат/Дисертація
Шинкаренко Віктор Іванович
Експериментальні методи оцінки часової та функціональної ефективності алгоритмів у програмно-апар...: автореф. дис. ... д-ра техн. наук, 01.05.03
[б.в.], 2010 г.
ISBN відсутній


Експлікативне програмування у макрокомпозиційних середовищах
Недоступно
 0 из 1
Автореферат/Дисертація
Парфірова Тетяна Сергіївна
Експлікативне програмування у макрокомпозиційних середовищах: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2011 г.
ISBN відсутній


Електронна система охорони здоров'я: постійний моніторинг стану пацієнта
Недоступно
 0 из 1
Автореферат/Дисертація
Письменний, Ігор Олександрович
Електронна система охорони здоров'я: постійний моніторинг стану пацієнта: автореф. дис. ... канд. техн. наук, спец. 01.05.03
[б.в.], 2021 г.
ISBN відсутній


Еталонні моделі символьної обробки
Недоступно
 0 из 1
Автореферат/Дисертація
Вінник Вадим Юрійович
Еталонні моделі символьної обробки: Автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2003 г.
ISBN відсутній


Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем
Недоступно
 0 из 1
Автореферат/Дисертація
Чопей, Ратібор Степанович
Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем: автореф. дис. … канд. техн. наук, 01.05.03
[б.в.], 2019 г.
ISBN відсутній


Засоби прогнозування надійності програмного проекту із врахуванням показника його складності
Недоступно
 0 из 1
Автореферат/Дисертація
Сенів Максим Михайлович
Засоби прогнозування надійності програмного проекту із врахуванням показника його складності: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2011 г.
ISBN відсутній


Застосування систем ПАРКС для моделювання операцій  реляційної алгебри вибору
Недоступно
 0 из 1
Автореферат/Дисертація
Федорус, Олексій Мстиславович
Застосування систем ПАРКС для моделювання операцій реляційної алгебри вибору: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2021 г.
ISBN відсутній


Застосування теоретико-множинних конструкцій повного образу, обмеження, конфінальності та сумісно...
Недоступно
 0 из 1
Автореферат/Дисертація
Кахута Надія Дмитрівна
Застосування теоретико-множинних конструкцій повного образу, обмеження, конфінальності та сумісно...: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2010 г.
ISBN відсутній


Індуктивні методи та алгоритми самоорганізації моделей даних на основі карт Кохонена
Недоступно
 0 из 1
Автореферат/Дисертація
Годич Олесь Васильович
Індуктивні методи та алгоритми самоорганізації моделей даних на основі карт Кохонена: автореф.дис. ... канд. техн. наук, 01.05.03
[б.в.], 2010 г.
ISBN відсутній


© Одеська національна наукова бібліотека 2012—2025