Координатор проекту: Національна бібліотека України імені В. І. Вернадського
Нікітченко Микола Степанович
Пошуковий профіль науковця на порталі НБУВ

ID: 0010259 адреса матеріалу: http://irbis-nbuv.gov.ua/ASUA/0010259

Нікітченко Микола Степанович
(доктор наук, професор )

Дивись також:
 SCOPUS: 6602842336 GS: 1hLK6M4AAAAJ
Ім'я іншою мовою:
  • Nikitchenko Mykola (англійська)
  • Nikitchenko Nikolaj (англійська)
  • Никитченко Николай Степанович (російська)
    • Наукове звання: професор
      Напрями наукової діяльності: формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність
      Додаткова спеціалізація: Обчислювальна математика. Інформаційні технології.
    Персональні веб-ресурси: Пов'язані особи:
      Наукова школа:
    1. Редько Володимир Никифорович (1937–) (фізико-математичні науки) - вчитель
    Списки документів формуються автоматично
    на основі електронних ресурсів НБУВ.
    До списків можуть бути включені публікації авторів з подібними іменами або однофамільців
     Формування списку публікацій може забрати деякий час, не закривайте сторінку, дочекайтесь результатів пошуку!
    Сформувати список публікацій
     

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