Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
2
IPCL
1
Peterson’s algorithm
1
UDC 004.415.52
1
UDC 004.42:510.69
1
UDC 51.681.3
1
UDC 681.3
1
algebra
1
composition-nominative languages
1
concurrent program
1
five-valued function
1
five-valued predicate
1
formal verification
1
interleaving
1
liveness property
1
logic
1
mutual exclusion
1
program system
1
software total correctness
1
Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск
1
Наукові статті
1
Научно-технический раздел
1
УДК 004.415.52
1
УДК 004.42:510.69
1
УДК 51.681.3
1
УДК 681.3
1
алгебра
1
алгоритм Петерсона
1
алгоритм Пітерсона
1
взаимное исключение
1
-
1von Zolotaryuk, A.V., Christiansen, P.L., Norde, B., Savin, A.V.Volltext
Veröffentlicht in Condensed Matter Physics (1999)
-
2von Butrym, A.Yu., Katrich, V.A., Kazanskiy, V.B., Kolchigin, N.N., Pivnenko, S.N.Volltext
Veröffentlicht in Радиофизика и радиоастрономия (2002)
Artikel -
3von Mnif, R., Elleuch, R., Elleuch, K., Haddar, N., Halouani, F.Volltext
Veröffentlicht in Проблемы прочности (2011)
Artikel -
4
-
5
-
6
-
7
-
8
-
9