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

Альтернативи пошуку:
"Теоретические и методологические основы программирования" » "Теоретические и методологические основі программирования" (Розширити пошук), "Теоретические и методологические основе программирования" (Розширити пошук), "Теоретические и методологические основ программирования" (Розширити пошук)

Вибрати результат під номером 21
21

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

за авторством Дубцов, Р.С.
Опубліковано 2004

Отримати повний текст

Стаття

Додати у Вибране

Збережено в:
Вибрати результат під номером 22
22

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

за авторством Нікітченко, М.С., Шкільняк, С.С.
Опубліковано 2004

Отримати повний текст

Стаття

Додати у Вибране

Збережено в:
Вибрати результат під номером 23
23

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

за авторством Дорошенко, А.Е., Цейтлин, Г.Е.
Опубліковано 2003

Отримати повний текст

Стаття

Додати у Вибране

Збережено в:
Вибрати результат під номером 24
24

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

за авторством Goerigk, Wolfgang, Langmaack, Hans
Опубліковано 2003

Отримати повний текст

Стаття

Додати у Вибране

Збережено в:
Вибрати результат під номером 25
25

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

за авторством Нікітченко, М.С., Шкільняк, С.С.
Опубліковано 2003

Отримати повний текст

Стаття

Додати у Вибране

Збережено в:
Вибрати результат під номером 26
26

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

за авторством Нікітченко, М.С., Шкільняк, С.С.
Опубліковано 2003

Отримати повний текст

Стаття

Додати у Вибране

Збережено в: