Пошуковий запит: (<.>U=З973-018.01$<.>) |
Загальна кількість знайдених документів : 83
Представлено документи з 1 до 20
|
| | |
| 1. |
Яковлев С. В. Исследование и реализация методов и средств теоретико-множественного программирования : Дис...канд.физ.-мат.наук:05.13.11. — К., 1993
|
| 2. |
Яковлев С. В. Исследование и реализация методов и средств теоретико-множественного программирования : Дис...канд.физ.-мат.наук:05.13.11. — К., 1993
|
| 3. |
Яковлев С. В. Исследование и реализация методов и средств теоретико-множественного программирования : Дис...канд.физ.-мат.наук:05.13.11. — К., 1993
|
| 4. |
Яковлев С. В. Исследование и реализация методов и средств теоретико-множественного программирования : Дис...канд.физ.-мат.наук:05.13.11. — К., 1993
|
| 5. |
Цейтлин Г. Е. Введение в алгоритмику. — К.: Сфера, 1998
|
| 6. |
Редько В. Н. Композиційна структура програмології. — 1998 // Кибернетика и систем. анализ.
|
| 7. |
Цейтлин Г. Е. Алгоритмика и интеграция программистских знаний: алгебра, обучение, инструментарий. — 1998 // Управляющие системы и машины.
|
| 8. |
Неумоин В. М. Аспекты адаптивности программных систем. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
|
| 9. |
Ротштейн О. П. Прогнозування надійності алгоритмічних процесів початкових даних. — 1998 // Кибернетика и систем. анализ.
|
| 10. |
Ющенко К. Л. Проблеми алгоритміки та системи алгоритмічних алгебр Глушкова. — 1998 // Кибернетика и систем. анализ.
|
| 11. |
Ель-фард Салем Шеріф Порівняльний аналіз методів модулярної редукції : Автореф. дис... канд. фіз.-мат. наук : 01.05.01. — К., 1999
|
| 12. |
Канаєва Н. М. Дослідження локальних алгоритмів розв'язання блочних задач булевого програмування : Автореф. дис... канд. фіз.-мат. наук : 01.05.01. — Д., 2000
|
| 13. |
Інформатика. Основи алгоритмізації задач : Конспект лекцій. — Чернівці: Рута, 2000
|
| 14. |
Редько В. Н. Основания программологии. — 2000 // Кибернетика и систем. анализ.
|
| 15. |
Волков В. А. О декларативном представлении алгоритмов пополнения критическими парами. — 2001 // Кибернетика и систем. анализ.
|
| 16. |
Самофалов П. Л. Методи застосування таблиць рішень у системах формального виводу і програмних комплексах : Автореф. дис... канд. техн. наук : 01.05.03. — Х., 2001
|
| 17. |
Шинкаренко В. И. Сравнительный анализ временной эффективности функционально эквивалентных алгоритмов. — 2001 // Пробл. программирования.
|
| 18. |
Щедріна О. І. Алгоритмізація та програмування процедур обробки інформації. C++ : Навч. посіб. — К., 2001
|
| 19. |
Шинкаренко В. И. Особенности оценки эффективности вычислительных алгоритмов. — 2001 // Пробл. программирования.
|
| 20. |
Костів О. В. Методи розробки алгоритмів : Тексти лекцій. — Л., 2002
|
| | |
НОВІ
ПОШУК
Книжкові видання та компакт-диски
