Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.01 с11<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. | ВА578109 Овсяк, Володимир. Алгоритми: аналіз методів, алгебра впорядкувань, моделі, моделювання [Текст] / В. Овсяк. - Львів : [б.в.], 1996. - 132 с. - ISBN 5-8326-0043-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| 2. | ДС42661 Яковлев, Сергей Викторович. Исследование и реализация методов и средств теоретико-множественного программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Яковлев Сергей Викторович ; АН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1993. - 144 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Академия наук Украины (Киев); Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
| 3. | РА295837 Провотар, Олександр Іванович. Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 29 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 4. | ДС55722 Провотар, Олександр Іванович. Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 211 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 5. | Р80390 Черноножкин, С. К. Меры сложности программ [Текст] : обзор / С. К. Черноножкин. - Новосибирск : [б.в.], 1994. - 35 с.; рис. - (Препр. / РАН. СО, Институт систем информатики ; 21)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: РАН. СО; Институт систем информатики
Видання зберігається у :
Основний фонд
|
|
|