Результати пошуку - "Technical University of Denmark"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 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
- УДК 004.415.52 1
- УДК 004.42:510.69 1
- УДК 51.681.3 1
- УДК 681.3 1
- алгебра 1
- алгоритм Петерсона 1
- алгоритм Пітерсона 1
- взаимное исключение 1
- взаємне виключення 1
- композиционно-номинативные языки 1
- композиційно-номінативні мови 1
-
1
-
2
Soliton and ratchet motions in helices
Опубліковано в: Condensed Matter Physics (1999)Отримати повний текст
-
3
-
4
Service-oriented, distributed real-time systems in digital libraries
Опубліковано 2025Отримати повний текст
Стаття -
5
Parallel Computations with Large-scale Air Pollution Models
Опубліковано 2015Отримати повний текст
Стаття