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...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | Bača, J., Korecko, S., Poruban, J., Vaclavik, P. |
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1303 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | 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 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)
by: Bača, J., et al.
Published: (2015)
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)
by: Bača, J., et al.
Published: (2004)
The Conception and Application of PFL: a Process Functional Programming Language
by: Kollar, Jan
Published: (2004)
by: Kollar, Jan
Published: (2004)
Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
by: Манако, А.Ф.
Published: (2004)
by: Манако, А.Ф.
Published: (2004)
Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
by: Глибовець, М.М., et al.
Published: (2004)
by: Глибовець, М.М., et al.
Published: (2004)
Портал для завершения высшего образования в области информационных технологий
by: Лидер, Д.А., et al.
Published: (2004)
by: Лидер, Д.А., et al.
Published: (2004)
Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров
by: Лаврищева, Е.М., et al.
Published: (2004)
by: Лаврищева, Е.М., et al.
Published: (2004)
Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Узагальнена композиційна модель символьної обробки
by: Винник, В.Ю.
Published: (2003)
by: Винник, В.Ю.
Published: (2003)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)
by: Крывый, С.Л., et al.
Published: (2003)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Формальные модели компонентного программирования
by: Грищенко, В.Н.
Published: (2003)
by: Грищенко, В.Н.
Published: (2003)
Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003)
by: Парасюк, И.Н., et al.
Published: (2003)
О возможных основаниях немонотонного дедуктивного синтеза программ
by: Приходько, П.П.
Published: (2003)
by: Приходько, П.П.
Published: (2003)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Композиційні логіки номінативних даних
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
by: Максимей, И.В., et al.
Published: (2003)
by: Максимей, И.В., et al.
Published: (2003)
Процесологічні середовища моделювання
by: Редько, И.В.
Published: (2003)
by: Редько, И.В.
Published: (2003)
Застосування принципів ТЕІ до кодування текстових корпусних данних
by: Демська-Кульчицька, О.
Published: (2004)
by: Демська-Кульчицька, О.
Published: (2004)
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004)
by: Ошевская, Е.С,
Published: (2004)
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
by: Теленик, С.Ф., et al.
Published: (2004)
by: Теленик, С.Ф., et al.
Published: (2004)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
by: Петрушенко, А.М., et al.
Published: (2004)
by: Петрушенко, А.М., et al.
Published: (2004)
Теоретико-категорная характеризация развертки временных сетей Петри
by: Дубцов, Р.С.
Published: (2004)
by: Дубцов, Р.С.
Published: (2004)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Структурированные семантические сети в распределенной разработке многоязыковых словарей
by: Кульчицький, Б.Н., et al.
Published: (2004)
by: Кульчицький, Б.Н., et al.
Published: (2004)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
by: Грибовская, Н.С.
Published: (2004)
by: Грибовская, Н.С.
Published: (2004)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004)
by: Погорілий, С.Д., et al.
Published: (2004)
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)
by: Редько, И.В.
Published: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
by: Антонцева, М.Ф.
Published: (2004)
by: Антонцева, М.Ф.
Published: (2004)
Синтезаторы речи с MS SAPI интерфейсом для скринридеров
by: Юсим, Г.В.
Published: (2004)
by: Юсим, Г.В.
Published: (2004)
Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
by: Булавенко, О.Н., et al.
Published: (2004)
by: Булавенко, О.Н., et al.
Published: (2004)
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
by: Панченко, Т.В.
Published: (2004)
by: Панченко, Т.В.
Published: (2004)
Что такое алгебраическая алгоритмика?
by: Цейтлин, Г.Е., et al.
Published: (2004)
by: Цейтлин, Г.Е., et al.
Published: (2004)
Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
by: Яценко, Е.А., et al.
Published: (2004)
by: Яценко, Е.А., et al.
Published: (2004)
Didactic Potential of Popular Philosophy
by: M. Kultaieva
Published: (2019)
by: M. Kultaieva
Published: (2019)
N-version programming as an opportunity to exclude errors in software
by: Cespedes Garcia, P.D.
Published: (2019)
by: Cespedes Garcia, P.D.
Published: (2019)
Evidence of the time: "Didactic Gospel" by Kyrylo Tranquilion Stavrovets'kyi and its modern Ukrainian version
by: M. Kashuba
Published: (2016)
by: M. Kashuba
Published: (2016)
Qubit method for deductive fault analysis of logic circuits
by: V. I. Khakhanov, et al.
Published: (2017)
by: V. I. Khakhanov, et al.
Published: (2017)
Similar Items
-
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015) -
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004) -
The Conception and Application of PFL: a Process Functional Programming Language
by: Kollar, Jan
Published: (2004) -
Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
by: Манако, А.Ф.
Published: (2004) -
Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
by: Глибовець, М.М., et al.
Published: (2004)