Бази даних

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

Книжкові видання
Журнали та продовжувані видання
Зарубіжна україніка
Картографічні видання
Стародруковані карти
Рукописні карти
Електронна колекція карт
Ноти та музичні видання
Підручний фонд відділу стародруків
Інкунабули
Палеотипи
Кириличні стародруки
Видання гражданського друку
Листівки періоду (1880-1945 рр.)
Рідкісні видання
Цифрова бібліотека
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Книжкові видання    Розширений пошук
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>U=В127.1$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
1.
  
  РА293553
Мощенский, Владимир Андреевич.
Обобщенный метод "нитей" и его некоторые применения [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.05.01 / Мощенский Владимир Андреевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1995. - 32 с.

Тематичний рубрикатор:
 Конструктивний та рекурсивний а аналіз 


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

Видання зберігається у :
Основний фонд
2.
  
  РА303408
Каратабанова, Сорейя Жубаниязовна.
Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : автореф. дис... канд. физ.-тех. наук: 01.01.06 / Каратабанова Сорейя Жубаниязовна. - Алматы, 1999. - 18 с.

Тематичний рубрикатор:
 Теорія моделей 
 Конструктивний та рекурсивний а аналіз 


Видання зберігається у :
Основний фонд
3.
  
  Р80391
Сабельфельд, В. К.
Анализ свойств рекурсивных схем и проблема древесной эквивалентности [Текст] / В. К. Сабельфельд. - Новосибирск : [б.в.], 1994. - 42 с. - (Препр. / РАН. СО, Институт систем информатики ; 26).

Тематичний рубрикатор:
 Конструктивний та рекурсивний а аналіз 


Дод. точки доступу:
РАН. СО; Институт систем информатики

Видання зберігається у :
Основний фонд
4.
  
  Глушков В.М./ВА525
Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Бібліогр.: с. 318-320. - 14000 прим.

Тематичний рубрикатор:
 Конструктивний та рекурсивний а аналіз 


Видання зберігається у :
Основний фонд
5.
  
  MFI2786/1-2
Gloor, Oliver Patrick Andreas.
Galois theory for combinatory algebras and its application to recursion theory [Text] : diss. / O. P. Gloor ; Swiss Federal institute of technology Zürich. - Zürich : [б.в.], 1995. - 129 p.:ill. - (Diss ETH ; 11095).

Тематичний рубрикатор:
 Теорія Галуа 
 Конструктивний та рекурсивний а аналіз 


Дод. точки доступу:
Swiss Federal institute of technology Zürich

Видання зберігається у :
 

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