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

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

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

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

Пошук :

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

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

Довідка :

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

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

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

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

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

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

Рубрика

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

Друк списку

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

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

<< назад | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Недоступно
 0 из 1
Автореферат/Дисертація
Колчин, Олександр Валентинович
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Формалізація моделі &quot;сутність-зв'язок&quot;: типи сутностей, типи зв'язків та їх обмеження
Недоступно
 0 из 1
Автореферат/Дисертація
Сільвейструк, Людмила Миколаївна
Формалізація моделі "сутність-зв'язок": типи сутностей, типи зв'язків та їх обмеження: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній


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


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


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