The following pages link to Klaus Becker (Q880194):
Displaying 16 items.
- Flow simulation and shape optimization for aircraft design (Q880197) (← links)
- A framework for operational equational specifications with pre-defined structures (Q1286447) (← links)
- (Q3122642) (← links)
- (Q3493191) (← links)
- (Q3691286) (← links)
- (Q3731265) (← links)
- (Q3786165) (← links)
- (Q4270180) (← links)
- (Q4310310) (← links)
- The MEGAFLOW project (Q4506167) (← links)
- (Q4839564) (← links)
- Spin waves and static susceptibility in the weakly doped <i>t‐J</i> model (Q4876734) (← links)
- (Q4942661) (← links)
- Proving ground confluence and inductive validity in constructor based equational specifications (Q5044723) (← links)
- MEGAFLOW for AIRBUS-D — Applications and Requirements (Q5451940) (← links)
- Semantics for positive/negative conditional rewrite systems (Q5881187) (← links)
