Пошук :
Довідка :
Електронний каталог : Книги у рубриці: Математичне та програмне забезпечення обчислювальних машин і систем
Рубрики
--> Фізико-математичні науки
----> Інформатика і кібернетика
------> Математичне та програмне забезпечення обчислювальних машин і систем
Друк списку
--> Фізико-математичні науки
----> Інформатика і кібернетика
------> Математичне та програмне забезпечення обчислювальних машин і систем
Рубрика
- Назва:
- Математичне та програмне забезпечення обчислювальних машин і систем
Друк списку
Зв'язані описи:
Автореферат/Дисертація
Колчин, Олександр Валентинович
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній
Колчин, Олександр Валентинович
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній
Автореферат/Дисертація
Яценко Олена Анатоліївна
Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній
Яценко Олена Анатоліївна
Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній
Автореферат/Дисертація
Стрижак Ганна Олександрівна
Розробка математичного та програмного забезпечення для мінімізації ризиків в платіжних системах: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2011 г.
ISBN відсутній
Стрижак Ганна Олександрівна
Розробка математичного та програмного забезпечення для мінімізації ризиків в платіжних системах: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2011 г.
ISBN відсутній
Автореферат/Дисертація
Тульчинський Петро Григорович
Розробка механізму розширеного запиту за зразком у застосуваннях баз даних: Автореф. дис. ... канд. фіз.-матем. наук, 01.05.03
[б.в.], 2003 г.
ISBN відсутній
Тульчинський Петро Григорович
Розробка механізму розширеного запиту за зразком у застосуваннях баз даних: Автореф. дис. ... канд. фіз.-матем. наук, 01.05.03
[б.в.], 2003 г.
ISBN відсутній
Автореферат/Дисертація
Дерев'янченко Олександр Валерійович
Розробка ПАРКС-JAVA технології паралельного програмування на комп'ютерних мережах: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній
Дерев'янченко Олександр Валерійович
Розробка ПАРКС-JAVA технології паралельного програмування на комп'ютерних мережах: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2005 г.
ISBN відсутній
Автореферат/Дисертація
Шевченко, Руслан Сергійович
Розробка системи TermWare для аналізу та побудови програм на основі переписувальних правил: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2021 г.
ISBN відсутній
Шевченко, Руслан Сергійович
Розробка системи TermWare для аналізу та побудови програм на основі переписувальних правил: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2021 г.
ISBN відсутній
Автореферат/Дисертація
Аль-Хілалі Зайнаб Сааді Хусейн,
Розробка та аналіз програмної підсистеми складання регулярного розкладу занять для освітньої плат...: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2020 г.
ISBN відсутній
Аль-Хілалі Зайнаб Сааді Хусейн,
Розробка та аналіз програмної підсистеми складання регулярного розкладу занять для освітньої плат...: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2020 г.
ISBN відсутній
Автореферат/Дисертація
Альхававша Мохаммад Нагар Свейлем,
Розробка та аналіз системи відкритих даних для електронного урядування: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2020 г.
ISBN відсутній
Альхававша Мохаммад Нагар Свейлем,
Розробка та аналіз системи відкритих даних для електронного урядування: автореф. дис. ... канд. техн. наук, [спец.] 01.05.03
[б.в.], 2020 г.
ISBN відсутній
Автореферат/Дисертація
Мохаммед Карам Джасім,
Розширення табличних алгебр множинним успадкуванням: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2017 г.
ISBN відсутній
Мохаммед Карам Джасім,
Розширення табличних алгебр множинним успадкуванням: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2017 г.
ISBN відсутній
Автореферат/Дисертація
Ізварін, Ігор Вікторович
Семантична база даних неструктурованих та структурованих документів з різноманітним реквізитним з...: автореф. дис. … канд. техн. наук, 01.05.03
[б.в.], 2012 г.
ISBN відсутній
Ізварін, Ігор Вікторович
Семантична база даних неструктурованих та структурованих документів з різноманітним реквізитним з...: автореф. дис. … канд. техн. наук, 01.05.03
[б.в.], 2012 г.
ISBN відсутній
Автореферат/Дисертація
Летичевський, Олександр Олександрович
Символьні методи в тестуванні та верифікації високонадійних програмних систем: автореф. дис. … д-ра фіз.-мат. наук, 01.05.03
[б.в.], 2016 г.
ISBN відсутній
Летичевський, Олександр Олександрович
Символьні методи в тестуванні та верифікації високонадійних програмних систем: автореф. дис. … д-ра фіз.-мат. наук, 01.05.03
[б.в.], 2016 г.
ISBN відсутній
Автореферат/Дисертація
Сидоренко, Марина Олегівна
Спеціалізовані програмні застосунки автоматичної обробки метаданих і збагачення контенту для розш...: автореф. дис. … канд. техн. наук, 01.05.03
[б.в.], 2013 г.
ISBN відсутній
Сидоренко, Марина Олегівна
Спеціалізовані програмні застосунки автоматичної обробки метаданих і збагачення контенту для розш...: автореф. дис. … канд. техн. наук, 01.05.03
[б.в.], 2013 г.
ISBN відсутній
Автореферат/Дисертація
Єршов, Сергій Володимирович
Теоретичні основи моделе-орієнтованої побудови нечітких інтелектуальних мультиагентних систем: автореф. дис. … д-ра фіз.-мат. наук, 01.05.03
[б.в.], 2013 г.
ISBN відсутній
Єршов, Сергій Володимирович
Теоретичні основи моделе-орієнтованої побудови нечітких інтелектуальних мультиагентних систем: автореф. дис. … д-ра фіз.-мат. наук, 01.05.03
[б.в.], 2013 г.
ISBN відсутній
Автореферат/Дисертація
Львов, Михайло Сергійович
Теоретичні основи побудови систем комп’ютерної математики навчального призначення: автореф. дис. ... д-ра фіз-мат. наук, 01.05.03
[б.в.], 2012 г.
ISBN відсутній
Львов, Михайло Сергійович
Теоретичні основи побудови систем комп’ютерної математики навчального призначення: автореф. дис. ... д-ра фіз-мат. наук, 01.05.03
[б.в.], 2012 г.
ISBN відсутній
Автореферат/Дисертація
Редько, Ігор Володимирович
Теорія дескриптивних середовищ та її застосування: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2008 г.
ISBN відсутній
Редько, Ігор Володимирович
Теорія дескриптивних середовищ та її застосування: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2008 г.
ISBN відсутній
Автореферат/Дисертація
Богатирьова Юлія Олександрівна
Теорія мультимножин та її застосування: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2011 г.
ISBN відсутній
Богатирьова Юлія Олександрівна
Теорія мультимножин та її застосування: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2011 г.
ISBN відсутній
Автореферат/Дисертація
Пузікова, Анна Валентинівна
Теорія нормалізації в табличних базах даних: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2016 г.
ISBN відсутній
Пузікова, Анна Валентинівна
Теорія нормалізації в табличних базах даних: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2016 г.
ISBN відсутній
Автореферат/Дисертація
Буй Дмитро Борисович
Теорія програмних алгебр композиційного типу та її застосування: Автореф. дис...докт. фіз.-мат. наук, 01.05.03
[б.в.], 2002 г.
ISBN відсутній
Буй Дмитро Борисович
Теорія програмних алгебр композиційного типу та її застосування: Автореф. дис...докт. фіз.-мат. наук, 01.05.03
[б.в.], 2002 г.
ISBN відсутній
Автореферат/Дисертація
Зубко, Роман Анатолійович
Удосконалення методів підвищення часової ефективності фрактального стиснення зображень: автореф. дис. … канд. техн. наук, спец. 01.05.03
[б.в.], 2021 г.
ISBN відсутній
Зубко, Роман Анатолійович
Удосконалення методів підвищення часової ефективності фрактального стиснення зображень: автореф. дис. … канд. техн. наук, спец. 01.05.03
[б.в.], 2021 г.
ISBN відсутній
Автореферат/Дисертація
Машковський, Сергій Сергійович
Удосконалення методу пошуку інформації в соцмережах на основі латентно-семантичного і частотного ...: автореф. дис. ... канд. техн. наук, спец. 01.05.03
[б.в.], 2020 г.
ISBN відсутній
Машковський, Сергій Сергійович
Удосконалення методу пошуку інформації в соцмережах на основі латентно-семантичного і частотного ...: автореф. дис. ... канд. техн. наук, спец. 01.05.03
[б.в.], 2020 г.
ISBN відсутній
Автореферат/Дисертація
Лук'янов Дмитро Олександрович
Управління ключовою інформацією в системах захисту групових комунікацій: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2004 г.
ISBN відсутній
Лук'янов Дмитро Олександрович
Управління ключовою інформацією в системах захисту групових комунікацій: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2004 г.
ISBN відсутній
Автореферат/Дисертація
Швалюк Тетяна Миколаївна
Управління процесом символьних перетворень при розв'язанні задач комп'ютерної алгебри: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2007 г.
ISBN відсутній
Швалюк Тетяна Миколаївна
Управління процесом символьних перетворень при розв'язанні задач комп'ютерної алгебри: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2007 г.
ISBN відсутній
Автореферат/Дисертація
Сільвейструк, Людмила Миколаївна
Формалізація моделі "сутність-зв'язок": типи сутностей, типи зв'язків та їх обмеження: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній
Сільвейструк, Людмила Миколаївна
Формалізація моделі "сутність-зв'язок": типи сутностей, типи зв'язків та їх обмеження: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній
Автореферат/Дисертація
Шишацька, Олена Володимирівна
Формальні моделі без даних та багатозначні логіки: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2019 г.
ISBN відсутній
Шишацька, Олена Володимирівна
Формальні моделі без даних та багатозначні логіки: автореф. дис. ... канд. фіз.-мат. наук, 01.05.03
[б.в.], 2019 г.
ISBN відсутній
Автореферат/Дисертація
Фабунмі Сунмаде Кунле,
Формальні моделі клієнт-серверних систем в композиційних мовах паралельного програмування: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2019 г.
ISBN відсутній
Фабунмі Сунмаде Кунле,
Формальні моделі клієнт-серверних систем в композиційних мовах паралельного програмування: автореф. дис. … канд. фіз.-мат. наук, 01.05.03
[б.в.], 2019 г.
ISBN відсутній