- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
К списку авторов
Летичевський, Олександр Олександрович
Сортировать по: заглавиюСвязанные описания:
Автореферат/Диссертация
Летичевський Олександр Олександрович
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів: Автореф. дис. ... канд. фіз.-мат. наук.
[б. в.], 2005 г.
ISBN отсутствует
ОФ
Летичевський Олександр Олександрович
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів: Автореф. дис. ... канд. фіз.-мат. наук.
[б. в.], 2005 г.
ISBN отсутствует
ОФ
Заказать 
На полку
Автореферат/Диссертация
Летичевський, Олександр Олександрович
Символьні методи в тестуванні та верифікації високонадійних програмних систем: автореф. дис. ... д-ра фіз.-мат. наук
2016 г.
ISBN отсутствует
ОФ
Летичевський, Олександр Олександрович
Символьні методи в тестуванні та верифікації високонадійних програмних систем: автореф. дис. ... д-ра фіз.-мат. наук
2016 г.
ISBN отсутствует
ОФ
Статья
Летичевський, Олександр Олександрович
В. М. Глушков: спогади про майбутнє
б.г.
ISBN отсутствует
Летичевський, Олександр Олександрович
В. М. Глушков: спогади про майбутнє
б.г.
ISBN отсутствует
Статья
Летичевський, Олександр Олександрович
Методи штучного інтелекту в сучасному світі та технологіях
б.г.
ISBN отсутствует
Летичевський, Олександр Олександрович
Методи штучного інтелекту в сучасному світі та технологіях
б.г.
ISBN отсутствует