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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (3)Автореферати дисертацій (1)Реферативна база даних (39)Наукова періодика України (22)Авторитетний файл імен осіб (1)
Пошуковий запит: (<.>A=Нікітченко М$<.>)
Загальна кількість знайдених документів : 14
Представлено документи з 1 до 14
1.
ДС71190
   Нікітченко, Микола Степанович.
Теорія інтегрованих композиційно-номінативних моделей програм [Текст] : дис... д-ра фіз.-мат. наук: 01.05.03 / Нікітченко Микола Степанович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2001. - 312 арк. - арк.298-312

Рубрикатор НБУВ:
 з973-018.1 
Тематичні рубрики:
 Програмне забезпечення (ПЗ) 


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

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

2.
РА314931
   Нікітченко, Микола Степанович.
Теорія інтегрованих композиційно-номінативних моделей програм [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / Нікітченко Микола Степанович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2001. - 32 с.

Рубрикатор НБУВ:
 З973-018.1 
Тематичні рубрики:
 Програмне забезпечення (ПЗ) 


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

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

3.
ВА651018
   Нікітченко, Микола Степанович.
Математична логіка [Текст] : навч. посібник / М. С. Нікітченко, С. С. Шкільняк ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2003. - 119 с. - Бібліогр.: с. 118-119. - ISBN 966-594-523-8

Рубрикатор НБУВ:
 В121 я73 
Тематичні рубрики:
 Математична логіка. Навчальні видання для вищої школи 


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

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

4.
ВС50604
   Нікітченко, Микола Степанович.
Математична логіка та теорія алгоритмів [Текст] : підруч. для студ. кіберн. ф-тів вищ. навч. закл. / М. С. Нікітченко, С. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський університет, 2008. - 528 с. - Бібліогр.: с. 522-524. - 200 прим. - ISBN 966-439-007-0

Рубрикатор НБУВ:
 В121 я73-1 
 В127.3 я73-1 
Тематичні рубрики:
 Математична логіка. Підручники для вищої школи 
 Теорія алгоритмів 


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

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

5.
ВА791459
   Нікітченко, Микола Степанович.
Прикладна логіка [Текст] : навч. посіб. / М. С. Нікітченко, С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2013. - 277 с. : табл. - Бібліогр.: с. 268-274. - 150 прим.

Рубрикатор НБУВ:
 Ю4 я73 
Тематичні рубрики:
 Навчальні посібники для вищої школи 


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

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

6.
ВА797428
   Нікітченко, Микола Степанович.
Теорія програмування в прикладах і задачах [Текст] : навч. посіб. / М. С. Нікітченко, Т. В. Панченко, С. А. Поляков ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2015. - 191 с. : рис., табл. - Бібліогр.: с. 191. - 150 прим.

Рубрикатор НБУВ:
 З973-018.01 я73-1 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Панченко, Тарас Володимирович; Поляков, Сергій Анатолійович; Київський національний університет імені Тараса Шевченка

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

7.
ВА799950
"Теоретичні та прикладні аспекти побудови програмних систем", міжнародна конференція (9 ; 2012 ; Київ).
Дев'ята міжнародна конференція "Теоретичні та прикладні аспекти побудови програмних систем", 3-7 грудня 2012 року [Текст] = Ninth international conference "Theoretical and applied aspects of program systems development" : пр. конф. / [під заг. ред. Д. Б. Буя, М. С. Нікітченка] ; Ф-т кібернетики Київ. нац. ун-ту ім. Тараса Шевченка, Ф-т інформатики Нац. ун-ту "Києво-Могилян. акад.", Ін-т програм. систем НАН України. - Київ : [б. в.], 2012. - 345 с. : рис., табл. - Текст укр., рос., англ. - Бібліогр. в кінці ст. - 100 прим. - ISBN 978-966-2466-26-3

Рубрикатор НБУВ:
 З973-018 я43(0) 
Тематичні рубрики:
 Комп'ютери та програмування 

Географічні рубрики:
 Весь світ. Всі країни в цілому 


Дод. точки доступу:
Буй, Д. Б. (ред.); Нікітченко, М. С. (ред.); Київський національний університет імені Тараса Шевченка. Факультет кібернетики; "Києво-Могилянська академія", національний університет. Факультет інформатикиНаціональна академія наук України; Інститут програмних систем (Київ)

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

8.
ВА802633
   Нікітченко, Микола Степанович.
Теорія алгоритмів [Текст] : навч. посіб. / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2015. - 239 с. - Бібліогр.: с. 235-236. - 100 прим. - ISBN 978-966-439-831-9

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


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

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

9.
СО35508

Розробка та впровадження галузевої рамки кваліфікацій в галузі знань "Інформаційні технології" [Текст] = Development and implementation of the sectoral qualifications framework in the field of knowledge ''Information technologies'' : [колект. монографія] / [В. А. Заславський та ін.]. - Київ : Київ. нац. ун-т ім. Тараса Шевченка : Добродій, 2016. - 87 с. : табл. - Бібліогр.: с. 85-87. - 120 прим. - ISBN 978-966-97595-1-1

Рубрикатор НБУВ:
 З970 р(4УКР)3 
УДК:
 004:378 
Тематичні рубрики:
 Основи інформатики та обчислювальної техніки 

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


Дод. точки доступу:
Заславський, Володимир Анатолійович; Нікітченко, Микола Степанович; Омельчук, Людмила Леонідівна; Ямкова, Ольга Михайлівна; TEMPUS, програма Європейського Союзу

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

10.
ВА817990
Трохимчук, Ростислав Миколайович.
Дискретна математика у прикладах і задачах [Текст] : навч. посіб. / Р. М. Трохимчук, М. С. Нікітченко ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2017. - 248 с. : рис., табл. - Бібліогр.: с. 246. - 100 прим. - ISBN 978-966-439-929-3

Рубрикатор НБУВ:
 В126 я73-4 
УДК:
 519.1(075.8) 
Тематичні рубрики:
 Дискретна математика. Збірники задач для студентів 


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

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

11.
ВА818442
Лавріщева, Катерина Михайлівна.
Технологія програмування інформаційних систем. Методи, засоби, інструменти [Текст] : підруч. для студентів ВНЗ / К. М. Лавріщева, М. С. Нікітченко, Л. Л. Омельчук ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2015. - 367 с. : рис. - Бібліогр.: с. 363-366. - 100 прим. - ISBN 978-966-439-832-6

Рубрикатор НБУВ:
 З973-018.02 я73-1 
УДК:
 004.41(075.8) 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Нікітченко, Микола Степанович; Омельчук, Людмила Леонідівна; Київський національний університет імені Тараса Шевченка

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

12.
ВА848977

Формальні методи специфікації програм [Текст] : навч. посіб. / [А. Ю. Дорошенко та ін.] ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2018. - 367 с. : рис. - Бібліогр.: с. 310-332. - 100 прим. - ISBN 978-966-439-990-3

Рубрикатор НБУВ:
 З973-018.022.1 я73 
УДК:
 004.42(075.8) 
Тематичні рубрики:
 Комп'ютери та програмування 


Дод. точки доступу:
Дорошенко, Анатолій Юхимович; Жереб, Костянтин Анатолійович; Іванов, Євген В'ячеславович; Нікітченко, М. С.; Яценко, О. А.; Київський національний університет імені Тараса Шевченка

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

13.
ВА859998

Математична логіка та програмування. Досвід викладання [Текст] : монографія / [Басараб І. А. та ін.] ; Ф-т комп'ютер. наук та кібернетики Київ. нац. ун-ту ім. Тараса Шевченка. - Одеса : Гельветика, 2022. - 211 с. : рис., табл. - Бібліогр. в кінці гл. - 300 прим. - ISBN 978-966-992-782-8

Рубрикатор НБУВ:
 В121 р 
УДК:
 378:510.6 
Тематичні рубрики:
 Вивчення і викладання математичної логіки 


Дод. точки доступу:
Басараб, Іван Андрійович; Basarab, Ivan Andriiovych; Волохов, Віктор Миколайович; Volokhov, Victor Mykolaiovych; Губський, Богдан Володимирович; Gubsky, Bogdan Volodymyrovych; Дорошенко, Анатолій Юхимович; Doroshenko, Anatoliy Yukhymovych; Дуцяк, Ігор Зенонович; Dutsiak, Ihor Zenonovych; Зубенко, Віталій Володимирович; Zubenko, Vitalii Volodymyrovych; Іваненко, Павло Андрійович; Ivanenko, Pavlo Andriivych; Іванов, Євген В'ячеславович; Ivanov, Ievgen Vyacheslavovich; Кохан, Ярослав Олексійович; Kokhan, Yaroslav Olexiyovych; Кузенко, Володимир Федорович; Kuzenko, Vladimir Fedorovich; Нікітченко, Микола Степанович; Nikitchenko, Mykola Stepanovych; Омельчук, Людмила Леонідівна; Omelchuk, Liudmyla Leonidivna; Панченко, Тарас Володимирович; Panchenko, Taras Volodymyrovych; Русіна, Наталія Геннадіївна; Rusina, Nataliia Hennadiivna; Ткаченко, Олексій Миколайович; Tkachenko, Oleksii Mykolaiovych; Шишацька, Олена Володимирівна; Shishatska, Olena Volodymyrivna; Шкільняк, Степан Степанович; Shkilnyak, Stepan Stepanovych; Яценко, Олена Анатоліївна; Yatsenko, Olena Anatoliivna; Київський національний університет імені Тараса Шевченка. Факультет комп'ютерних наук та кібернетики

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

14.
ВА864235
   Нікітченко, Микола Степанович.
Теорія програмування [Текст] : підручник / М. С. Нікітченко ; Київ. нац. ун-т ім. Тараса Шевченка. - 2-ге вид., перероб. і допов. - Київ : Київський університет, 2020. - 269 с. : рис., табл. - Бібліогр.: с. 262-264. - 100 прим. - ISBN 978-966-933-099-4

Рубрикатор НБУВ:
 З973-018 я73-1 
УДК:
 004.42(075.8) 
Тематичні рубрики:
 Комп'ютери та програмування 


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

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

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

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