Зображення обкладинки

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits

The Contribution deals with the Internet application of the program system for the synthesis and diagnostics of logic circuits. Internet application contents description of basic notion, theoretical principles and procedure from area of synthesis and diagnostics of logic circuits. This syst...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2003
Автори:	Bača, J., Korecko, S., Poruban, J., Vaclavik, P.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут програмних систем НАН України 2003
Теми:	Дидактические аспекты программирования
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1303
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits / J. Baca, S. Korecko, J. Poruban, P. Vaclavik// Проблеми програмування. — 2003. — N 3. — С. 53—58. — Бібліогр.: 21 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
за авторством: Bača, J., та інші
Опубліковано: (2004)

The Conception and Application of PFL: a Process Functional Programming Language
за авторством: Kollar, Jan
Опубліковано: (2004)

Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
за авторством: Манако, А.Ф.
Опубліковано: (2004)

Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
за авторством: Глибовець, М.М., та інші
Опубліковано: (2004)

Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Didactic Potential of Popular Philosophy
за авторством: M. Kultaieva
Опубліковано: (2019)

N-version programming as an opportunity to exclude errors in software
за авторством: Cespedes Garcia, P.D.
Опубліковано: (2019)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)

Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)

Узагальнена композиційна модель символьної обробки
за авторством: Винник, В.Ю.
Опубліковано: (2003)

Процесологічні середовища моделювання
за авторством: Редько, И.В.
Опубліковано: (2003)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Аксиоматические модели и методы проектирования языковых трансляторов
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
за авторством: Приходько, П.П.
Опубліковано: (2003)

Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
за авторством: Панченко, Т.В.
Опубліковано: (2004)

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2004)

Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
за авторством: Булавенко, О.Н., та інші
Опубліковано: (2004)

Застосування принципів ТЕІ до кодування текстових корпусних данних
за авторством: Демська-Кульчицька, О.
Опубліковано: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
за авторством: Грибовская, Н.С.
Опубліковано: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
за авторством: Антонцева, М.Ф.
Опубліковано: (2004)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Структурированные семантические сети в распределенной разработке многоязыковых словарей
за авторством: Кульчицький, Б.Н., та інші
Опубліковано: (2004)

Синтезаторы речи с MS SAPI интерфейсом для скринридеров
за авторством: Юсим, Г.В.
Опубліковано: (2004)

Экспликативный базис интеграционных сред
за авторством: Редько, И.В.
Опубліковано: (2004)

Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2004)

Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)

Evidence of the time: &quot;Didactic Gospel&quot; by Kyrylo Tranquilion Stavrovets&#039;kyi and its modern Ukrainian version
за авторством: M. Kashuba
Опубліковано: (2016)

Qubit method for deductive fault analysis of logic circuits
за авторством: V. I. Khakhanov, та інші
Опубліковано: (2017)

Model-driven development of digital system algorithms on programmable logic integrated circuits
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2020)

Тhe use of radionuclide methods for contemporary diagnostic in angiology
за авторством: Lacko, Anton, та інші
Опубліковано: (2017)

Informative-Cybernetic and Psychology- Didactic Aspects of Planning of the Expertly-Teaching Systems
за авторством: M. P. Kostiuchenko
Опубліковано: (2013)

Unique Variants of Didactic Gospel Print (Vievis, 1616)
за авторством: N. Bondar
Опубліковано: (2017)