Пошуковий запит: (<.>A=Letichevsky A$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
| 1. | Letichevsky A. Agents and environments [Текст] // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98:НАН України.-С.225-232
|
| 2. | Kapitonova Yu. Algorithm ochevidnosti'2000 (project) [Текст] // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98:НАН України.-С.68-70
|
| 3. | Ж16833 Letichevsky A. APS C++ User's Library [Текст]: N 2/3 (спец. вип.) // Пробл. програмув.-С.299-304
|
| 4. | Ж16833 Letichevsky A. A. Insertion modeling in distributed system design [Текст]: 4 // Пробл. програмув.-С.13-38
|
| 5. | Ж14024 Letichevsky A. Satisfiability for symbolic verification in VRS [] // Управляющие системы и машины, 2013,N № 3.-С.81-87Control Systems and Computers
|
| 6. | Ж16833 Letichevsky A. Deductive verification of requirements for event-driven architecture [] // Проблеми програмування, 2013,N № 2.-С.54-61
|
Простий пошук
Віртуальна довідка
