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

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

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

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

Пошук :

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

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

Довідка :

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

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

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

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

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

Рубрики
--> Математична логіка та програмування

Рубрика

Назва:
 
Математична логіка та програмування  

Друк списку

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

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

<< назад | 126 | 127 | 128 | 129 | 130 | 131 | 132 | 133 | 134 | вперед >>
Метод вибору класу архітектур програмного забезпечення на основі аналізу ієрархій
Недоступно
 0 из 1
Автореферат/Дисертація
Черниш Ольга Олександрівна
Метод вибору класу архітектур програмного забезпечення на основі аналізу ієрархій: автореф. дис. ... канд. техн. наук, 01.05.03
[б.в.], 2009 г.
ISBN відсутній


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


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


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


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


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


 Метод дискретних особливостей та комп'ютерний інструментарій для моделювання дифракції акустични...
Недоступно
 0 из 1
Автореферат/Дисертація
Гахов, Андрій Володимирович
Метод дискретних особливостей та комп'ютерний інструментарій для моделювання дифракції акустични...: автореф. дис. ... канд. фiз.-мат. наук, 01.05.02
[б.в.], 2008 г.
ISBN відсутній


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


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


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


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


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


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


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


Метод збурення в механіці пружних (в'язкопружних) анізотропних і композиційних матеріалів
Недоступно
 0 из 1
Автореферат/Дисертація
Кагадій Тетяна Станіславівна
Метод збурення в механіці пружних (в'язкопружних) анізотропних і композиційних матеріалів: Автореф. дис. ... д-ра фіз.-мат. наук, 01.02.04
[б.в.], 2003 г.
ISBN відсутній


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


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


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


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


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


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


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


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


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


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


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