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: (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)
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)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)
by: Крывый, С.Л., et al.
Published: (2003)
Формальные модели компонентного программирования
by: Грищенко, В.Н.
Published: (2003)
by: Грищенко, В.Н.
Published: (2003)
Узагальнена композиційна модель символьної обробки
by: Винник, В.Ю.
Published: (2003)
by: Винник, В.Ю.
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: Дорошенко, А.Е., 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: Петрушенко, А.М., 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)
Застосування принципів ТЕІ до кодування текстових корпусних данних
by: Демська-Кульчицька, О.
Published: (2004)
by: Демська-Кульчицька, О.
Published: (2004)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
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)
Синтезаторы речи с MS SAPI интерфейсом для скринридеров
by: Юсим, Г.В.
Published: (2004)
by: Юсим, Г.В.
Published: (2004)
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)
by: Редько, И.В.
Published: (2004)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004)
by: Погорілий, С.Д., et al.
Published: (2004)
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004)
by: Ошевская, Е.С,
Published: (2004)
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)
Model-driven development of digital system algorithms on programmable logic integrated circuits
by: O. O. Letychevskyi, et al.
Published: (2020)
by: O. O. Letychevskyi, et al.
Published: (2020)
Тhe use of radionuclide methods for contemporary diagnostic in angiology
by: Lacko, Anton, et al.
Published: (2017)
by: Lacko, Anton, et al.
Published: (2017)
Informative-Cybernetic and Psychology- Didactic Aspects of Planning of the Expertly-Teaching Systems
by: M. P. Kostiuchenko
Published: (2013)
by: M. P. Kostiuchenko
Published: (2013)
Unique Variants of Didactic Gospel Print (Vievis, 1616)
by: N. Bondar
Published: (2017)
by: N. Bondar
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)