Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
Математическое моделирование и вычислительные методы
3
IPCL
1
Peterson’s algorithm
1
UDC 004.415.52
1
composition-nominative languages
1
concurrent program
1
formal verification
1
interleaving
1
liveness property
1
mutual exclusion
1
software total correctness
1
Взгляд на проблему
1
Мікологічні знахідки
1
Паралельне програмування. Розподілені системи і мережі
1
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
1
УДК 004.415.52
1
Флора и география
1
Языки программирования
1
алгоритм Петерсона
1
алгоритм Пітерсона
1
взаимное исключение
1
взаємне виключення
1
композиционно-номинативные языки
1
композиційно-номінативні мови
1
паралельна програма
1
параллельная программа
1
тотальна коректність програм
1
тотальная корректность программ
1
формальна верифікація
1
формальная верификация
1
-
1
-
2
-
3
-
4
-
5
-
6за авторством Фейзиев, Ф.Г., Мехтиева, М.Р., Самедова, З.А.Отримати повний текст
Опубліковано в: Электронное моделирование (2016)
Стаття -
7
-
8
-
9за авторством Heluta, V.P., Siahaan, S.A.S., Takamatsu, S.Отримати повний текст
Опубліковано в: Український ботанічний журнал (2016)
Стаття -
10за авторством Branson, T.P.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2007)
Стаття -
11
-
12
-
13