Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Летичевський О$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
1. | РА340360 Летичевський, Олександр Олександрович. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 2. | Р87567 Програма кандидатського іспиту за спеціальністю 01.05.01- теоретичні основи інформатики та кібернетики [Текст] / складачі. О. А. Летичевський [та ін.] ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К. : [б.в.], 1998. - 12 с.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Летичевський, О. А. (складачі.); Національна академія наук УкраїниІнститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
| 3. | Р87574 Програма вступного іспиту за спеціальністю 01.05.01- теоретичні основи інформатики та кібернетики [Текст] / складачі О. А. Летичевський [та ін.] ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К. : [б.в.], 1998. - 15 с.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Летичевський, О. А. (складачі.); Національна академія наук УкраїниІнститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
| 4. | ВА624356 Основи дискретної математики [Текст] : підручник / Ю. В. Капітопова [та ін] ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К. : Наукова думка, 2002. - 580 с. - Бібліогр.: с.:568-571. - ISBN 966-00-0622-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Капітопова, Юлія Володимирівна; Кривий, Сергій Лук'янович; Летичевський, Олександр Адольфович; Луцький, Георгій Михайлович; Печурін, Микола Капітонович; Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 5. | Глушков В. М./Р108 Летичевський, О. А. Про синтез скінченних автоматів [Текст] / О. А. Летичевський. - [К.] : [б. в.], [1961]. - [3] с. Окр. відб. з журн.: Доповіді Академії наук Української РСР. - 1961.- №2. - С. 139-141. - З дарчим написом В. М.Глушкову від автора.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 6. | Онищенко О. С. СО169 "Сучасна інформатика: проблеми, досягнення та перспективи розвитку", міжнародна наукова конференція (2013 ; Київ). Міжнародна конференція "Сучасна інформатика: проблеми, досягнення та перспективи розвитку", Україна, Київ, 12-13 вересня 2013 року [Текст] : тези доп. / [редкол.: І. В. Сергієнко (відп. ред.) та ін.] ; НАН України, Ін-т кібернетики ім. В. М. Глушкова НАН України [та ін.]. - Київ : Ін-т кібернетики ім. В. М. Глушкова, 2013. - 316 с. : рис. - Бібліогр. в кінці ст. - 200 прим. - ISBN 978-966-02-6928-6 Присвяч. 90-річчю від дня народж. акад. В. М. Глушкова.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Сергієнко, І. В. (ред.); Кривонос, Ю. Г. (ред.); Летичевський, О. А. (ред.); Глушков, Віктор Михайлович (1923 - 1982) (про нього); Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ); Інститут програмних систем (Київ); Інститут проблем математичних машин і систем (Київ)Інститут космічних досліджень (Київ)
Видання зберігається у :
Основний фонд
| 7. | РА420784 Летичевський, Олександр Олександрович. Символьні методи в тестуванні та верифікації високонадійних програмних систем [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2016. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
|
|