Search Results - "Теоретические и методологические основы программирования" :: Harvester open publications of NAS Ukraine

21

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN

by Панченко, Т.В.
Published 2004

Article

22

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел

by Крывый, С.Л., Невмержицкий, А.В.
Published 2003

Article

23

Узагальнена композиційна модель символьної обробки

by Винник, В.Ю.
Published 2003

Article

24

Композиційно-номінативні логіки предикатів над даними з неповною інформацією

by Нікітченко, М.С., Шкільняк, С.С.
Published 2004

Article

25

Процесологічні середовища моделювання

by Редько, И.В.
Published 2003

Article

26

Теоретико-категорная характеризация развертки временных сетей Петри

by Дубцов, Р.С.
Published 2004

Article

27

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью

by Дорошенко, А.Е., Цейтлин, Г.Е.
Published 2003

Article

28

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

by Goerigk, Wolfgang, Langmaack, Hans
Published 2003

Article

29

Композиційні логіки номінативних даних

by Нікітченко, М.С., Шкільняк, С.С.
Published 2003

Article

30

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення

by Нікітченко, М.С., Шкільняк, С.С.
Published 2003

Article

31

Realistic correct systems implementation

by Goerigk, Wolfgang, Langmaack, Hans
Published 2003

Article

32

Концепція діалогових обчислень та деякі проблеми автоматизації програмування

by Петрушенко, А.М., Хохлов, В.А.
Published 2004

Article

33

Формальные модели компонентного программирования

by Грищенко, В.Н.
Published 2003

Article

34

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей

by Грибовская, Н.С.
Published 2004

Article

35

Аксиоматические модели и методы проектирования языковых трансляторов

by Парасюк, И.Н., Провотар, А.И., Кондратенко, В.А.
Published 2003

Article

36

О возможных основаниях немонотонного дедуктивного синтеза программ

by Приходько, П.П.
Published 2003

Article

37

Экспликативный базис интеграционных сред

by Редько, И.В.
Published 2004

Article

38

Об одной геометрической модели временных параллельных процессов

by Ошевская, Е.С
Published 2004

Article

39

Коалгебраическое исследование бисимуляционных паралельных процессов

by Антонцева, М.Ф.
Published 2004

Article

40

Что такое алгебраическая алгоритмика?

by Цейтлин, Г.Е., Мохница, А.С.
Published 2004

Article

Refine Results