Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (485)Автореферати дисертацій (28)Реферативна база даних (811)Наукова періодика України (1)
Пошуковий запит: (<.>U=В12$<.>)
Загальна кількість знайдених документів : 773
Представлено документи з 1 до 20
...
1.
ДС41396
Романенко, Игорь Борисович.
Машинные методы построения вывода в некоторых неклассических исчислениях [Текст] : дис...канд.техн.наук:05.25.05 / Романенко Игорь Борисович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1992. - 122 с.

Рубрикатор НБУВ:
 В128 с51 
Тематичні рубрики:
 Некласичні логічні системи 


Дод. точки доступу:
Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

2.
ДС44865
Булитко, Валерий Константинович.
Алгоритмические сводимости по разрешимости и критерии полноты множеств [Текст] : дис...д-ра физ.-мат.наук / Булитко Валерий Константинович ; ОГУ им. И.И.Мечникова. - О., 1992. - 277 л. - л.:272-277

Рубрикатор НБУВ:
 В127 
Тематичні рубрики:
 Теорія алгоритмів, рекурсивні функції 


Дод. точки доступу:
ОГУ имени И. И. Мечникова

Видання зберігається у :
Основний фонд

3.
ДС50720
Фрассер Санчес, Карлос Энрике.
Разработка математического и алгоритмического обеспечения обработки информации на основе структурного анализа геодезических графов [Текст] : дис... канд. техн. наук: 05.13.04 / Фрассер Санчес Карлос Энрике ; Одесский политехнический ун-т. - О., 1996. - 165 л. - л.: 158-165

Рубрикатор НБУВ:
 В126 
Тематичні рубрики:
 Дискретна математика. Комбінаторика. Теорія графів 


Дод. точки доступу:
Одесский политехнический университет

Видання зберігається у :
Основний фонд

4.
ДС53435
Лысенко, Николай Владимирович.
Анализ и оценка хроматических параметров теоретико-графовых математических моделей [Текст] : дис... канд. физ.-мат. наук: 01.05.02 / Лысенко Николай Владимирович ; Полтавский технический ун-т. - Полтава, 1996. - 92 л.

Рубрикатор НБУВ:
 В122 
 В126.3 
Тематичні рубрики:
 Теорія моделей 
 Теорія графів 


Дод. точки доступу:
Полтавский технический университет

Видання зберігається у :
Основний фонд

5.
ДС82941
Шулинок, Ирина Эдуардовна.
Решение задач оптимального представления числовых графов и исследование условий построения на них эффективных алгоритмов [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Шулинок Ирина Эдуардовна ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2004. - 175 л.: рис. - Библиогр.: л. 169-175

Рубрикатор НБУВ:
 В126.3 
Тематичні рубрики:
 Теорія графів 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

6.
ДС83228
Рябенко, Антон Євгенович.
Математичні моделі та методи для векторних задач оптимізації організаційних структур та землекористування [Текст] : дис... канд. фіз.-мат. наук: 01.05.02 / Рябенко Антон Євгенович ; Запорізький держ. ун-т. - Запоріжжя, 2003. - 137 арк.: рис. - арк. 128-136

Рубрикатор НБУВ:
 В173.14 
 В126.3 
 У9(4УКР)320-511.2 
Тематичні рубрики:
 Багатокритеріальна оптимізація 
 Теорія графів 
 Збалансоване використання земель сільськогосподарського призначення в Україні 

Географічні рубрики:
  
  
 Україна 


Дод. точки доступу:
Запорізький державний університет

Видання зберігається у :
Основний фонд

7.
ДС83947
   Заторський, Роман Андрійович.
Застосування паравизначників і параперманентів до розв'язання задач комбінаторного аналізу [Текст] : дис... канд. фіз.-мат. наук: 01.01.08 / Заторський Роман Андрійович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2002. - 147 арк. - арк. 144-147

Рубрикатор НБУВ:
 В126.1 
Тематичні рубрики:
 Комбінаторика 


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

8.
ДС93950
Шулинок, Георгий Александрович.
Решение задач изоморфизма и нахождения хроматического числа на числовых графах [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Шулинок Георгий Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2006. - 140 л.: рис. - Библиогр.: л. 126-134

Рубрикатор НБУВ:
 В126.34 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

9.
ДС87669
Дюличева, Юлия Юрьевна.
Модели коррекции редуцированных бинарных решающих деревьев [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Дюличева Юлия Юрьевна ; Таврический национальный ун-т им. В.И.Вернадского. - Симф., 2004. - 127 л. - Библиогр.: л. 113-127

Рубрикатор НБУВ:
 В126.3 
 З810.42 
Тематичні рубрики:
 Теорія графів 
 Теорія розпізнавання образів 


Дод. точки доступу:
Таврический национальный университет имени В. И. Вернадского

Видання зберігається у :
Основний фонд

10.
ДС90422
Бобылева, Елена Владимировна.
Методы и алгоритмы распознавания графов на предфрактальность и их применение [Текст] : дис... канд. физ.-мат. наук: 01.05.01 / Бобылева Елена Владимировна ; Днепропетровский национальный ун-т. - Д., 2005. - 173 л. - Библиогр.: л. 154-162

Рубрикатор НБУВ:
 В126.3 
Тематичні рубрики:
 Теорія графів 


Дод. точки доступу:
Днепропетровский национальный университет

Видання зберігається у :
Основний фонд

11.
ДС91767
Беляев, Владимир Николаевич.
m-сводимость с информационными ограничениями [Текст] : дис... канд. физ.-мат. наук: 01.01.08 / Беляев Владимир Николаевич ; Одесский национальный ун-т им. И.И.Мечникова. - О., 2005. - 112 с. - Библиогр.: л. 108-112

Рубрикатор НБУВ:
 В127 
Тематичні рубрики:
 Теорія алгоритмів, рекурсивні функції 


Дод. точки доступу:
Одесский национальный университет имени И. И. Мечникова

Видання зберігається у :
Основний фонд

12.
ДС106158
Семенюта, Марина Фролівна.
Дослідження розкладів та нумерацій графів [Текст] : дис... канд. фіз.-мат. наук: 01.01.08 / Семенюта Марина Фролівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2008. - 190 арк. - арк. 113-120

Рубрикатор НБУВ:
 В126.31 
Тематичні рубрики:
 Розбиття графів 


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

13.
ДС56765
Різник, Олег Яремович.
Моделювання та синтез комбінаторних конфігурацій з нееквідистантною структурою [Текст] : дис... канд. техн. наук: 01.05.02 / Різник Олег Яремович ; Держ. НДІ інформ. інфраструктури. - Л., 1997. - 150 с.

Рубрикатор НБУВ:
 В126.1 
 З813.12 
Тематичні рубрики:
 Комбінаторика 
 Моделювання дискретних систем 


Дод. точки доступу:
Державний науково-дослідний інститут інформаційної інфраструктури (Львів)

Видання зберігається у :
Основний фонд

14.
ДС58233 з дод.1
Курапов, Сергій Всеволодович.
Обчислювальні методи і математичні моделі для вирішення задач із скінченою дискретною структурою [Текст] : дис... канд. фіз.-мат. наук: 01.05.02 / Курапов Сергій Всеволодович ; Запорізький держ. ун-т. - Запоріжжя, 1997. - 144 л.+ 127л. дод. - л. 137-144

Рубрикатор НБУВ:
 З973-018.121 
 В126.3 
Тематичні рубрики:
 Програмні засоби обчислювальної та прикладної математики 
 Теорія графів 


Дод. точки доступу:
Запорізький державний університет

Видання зберігається у :
Основний фонд

15.
ДС56290
Донец, Георгий Афанасьевич.
Теоретико-числовой подход к решению некоторых задач теории графов [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Донец Георгий Афанасьевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1997. - 263 с.

Рубрикатор НБУВ:
 В126.3 
Тематичні рубрики:
 Теорія графів 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

16.
ДС57751
Суржко, Сергей Васильевич.
Интерпретационные методы в теории алгоритмических алгебр [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Суржко Сергей Васильевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1996. - 192 л. + прил. - л. 179-192

Рубрикатор НБУВ:
 В127.3 
Тематичні рубрики:
 Теорія алгоритмів 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

17.
ДС58147
Петренюк, Лідія Петрівна.
Перелік розкладів повних графів на ізоморфні компоненти [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Петренюк Лідія Петрівна ; Кіровоградський навчально- науковий педагогічний комплекс. - Кіровоград, 1996. - 144 л. - л. 91-99

Рубрикатор НБУВ:
 В126.3 
 В182.3 
Тематичні рубрики:
 Теорія графів 
 Комбінаторна топологія 


Дод. точки доступу:
Кіровоградський навчально- науковий педагогічний комплекс

Видання зберігається у :
Основний фонд

18.
ДС68921
Пынько, Алексей Павлович.
Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : дис... канд. физ.- мат. наук: 01.01.08 / Пынько Алексей Павлович ; Ин-т кибернетики им. В. М. Глушкова НАН Украины. - К., 2000. - 104 с. - Библиогр.:с.102-104

Рубрикатор НБУВ:
 В128 
Тематичні рубрики:
 Некласичні логічні системи 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

19.
ДС59896
Маранджян, Грант Бабкенович.
Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69

Рубрикатор НБУВ:
 В127.4 
 З973-018.01 
Тематичні рубрики:
 Теорія обчислюваності. Складність обчислень 
 Теорія програмування 


Дод. точки доступу:
Институт проблем информатики и автоматизации НАН Республики Армения

Видання зберігається у :
Основний фонд

20.
ДС63406
   Шрамко, Ярослав Владиславович.
Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-288.

Рубрикатор НБУВ:
 Ю439,0 
 В121 
 В124 
Тематичні рубрики:
 Загальні роботи < Класична і конструктивна логіка > 
 Математична логіка 
 Теорія доведень. Пошук виведення і розв'язності в логіці 


Дод. точки доступу:
Национальная академия наук Украины; Институт философии имени Г. С. Сковороды (Киев)

Видання зберігається у :
Основний фонд

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського