Pages that link to "Item:Q5463960"
From MaRDI portal
The following pages link to Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463960):
Displaying 5 items.
- Compiling OR-parallelism into AND-parallelism (Q1819930) (← links)
- Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios (Q3454318) (← links)
- (Q4413677) (← links)
- (Q4537169) (← links)
- The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503) (← links)