Пошуковий запит: (<.>A=Песчаненко В$<.>) |
Загальна кількість знайдених документів : 19
Представлено документи з 1 до 19
|
| 1. |
Песчаненко В. С. Алгоритмы поддержки хода решения алгебраической задачи в школьной системе компьютерной алгебры ТерМ. — 2007 // Управляющие системы и машины.
|
| 2. |
Песчаненко В. С. Использование системы алгебраического программирования для построения систем поддержки изучения алгебры в школе. — 2006 // Управляющие системы и машины.
|
| 3. |
Песчаненко В. С. Об одном подходе к проектированию алгебраических типов данных. — 2006 // Пробл. програмув.
|
| 4. |
Песчаненко В. С. Методи комп'ютерної алгебри та символьних перетворень при проектуванні математичних систем учбового призначення : Автореф. дис... канд. фіз.-мат. наук. — К., 2007
|
| 5. |
Летичевский А. А. Алгоритм трансляции APLAN кода. — 2010 // Управляющие системы и машины.
|
| 6. |
Песчаненко В. С. Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse. — 2011 // Управляющие системы и машины.
|
| 7. |
Летичевский А. А. Свойства предикатного трансформера системи VRS. — 2010 // Кибернетика и систем. анализ.
|
| 8. |
Львов М. С. Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием. — 2012 // Кибернетика и систем. анализ.
|
| 9. |
Летичевский (мл.) А. А. Система доказательного программирования. — 2012 // Управляющие системы и машины.
|
| 10. |
Колчин А. В. Обзор современных систем и методов верификации формальных моделей // Пробл. програмув.. - 2012. - № 4.
|
| 11. |
Летичевский А. А. Генерация символьных трасс в системе инсерционного моделирования // Кибернетика и систем. анализ. - 2015. - 51, № 1.
|
| 12. |
Песчаненко В. С. Методи реалізації систем інсерційного моделювання : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03. — Київ, 2015
|
| 13. |
Львов М. С. Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул // Кибернетика и систем. анализ. - 2018. - 54, № 6.
|
| 14. |
Летичевский А. А. Обзор современных методов защищенности и безопасности программных систем // Кибернетика и систем. анализ. - 2019. - 55, № 5.
|
| 15. |
Летичевский А. А. Обзор современных методов защищенности и безопасности программных систем // Кибернетика и систем. анализ. - 2019. - 55, № 5.
|
| 16. |
Летичевский А. А. Модельный способ разработки алгоритмов цифровых систем на программируемых логических интегральных схемах // Кибернетика и систем. анализ. - 2020. - 56, № 5.
|
| 17. |
Летичевський О. О. Техніка нечіткого тестування та її використання в задачах кібербезпеки // Кібернетика та систем. аналіз. - 2022. - 58, № 1.
|
| 18. |
Летичевський О. О. Інсерційна семантика VHDL-мови електронного дизайну // Кібернетика та систем. аналіз. - 2022. - 58, № 2.
|
| 19. |
Летичевський О. О. Сучасні методи та програмні системи молекулярного моделювання та застосування алгебри поведінок // Кібернетика та систем. аналіз. - 2022. - 58, № 3.
|
НОВІ
ПОШУК
Книжкові видання та компакт-диски
