Знайдено документів: 1
Інформація × Реєстраційний номер 0500U000034, Докторська дисертація На здобуття д.т.н. Дата захисту 27-01-2000 Статус Запланована Назва роботи Проектування цифрових систем з використанням логічного програмування Здобувач Шайна Януш Станіславович, Опонент Жуков І. А. Опонент Коваль В.М. Опонент Коростіль Ю.М. Опис Проектування і моделювання цифрових систем на базі логічного програмування. Запропоновано новий декларативний метод розпізнавання часових діаграм, метод автоматизації символічного синтезу, мова моделювання ProWave.Впроваджено у промисловість. Сфера використання: цифрове супутникове телебачення. Дата реєстрації 2000-01-27 Додано в НРАТ 2020-04-04 Закрити
Дисертація докторська
Проектування цифрових систем з використанням логічного програмування
Шайна Януш Станіславович. Проектування цифрових систем з використанням логічного програмування : д.т.н. : спец.. 05.13.13 - Обчислювальні машини, системи та мережі : дата захисту 2000-01-27; Статус: Захищена; . – , 0500U000034.
Знайдено документів: 1

Оновлено: 2026-03-18


Роздрукувати цю сторінку