Found: 3
Select item for more details and to access through your institution.
Specification transformers: a predicate transformer approach to composition.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 265, doi. 10.1007/s00236-003-0130-y
- By:
- Publication type:
- Article
Program reversals for evolutions with non-uniform step costs.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 235, doi. 10.1007/s00236-003-0131-x
- By:
- Publication type:
- Article
A bi-criterion single-machine scheduling problem with learning considerations.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 303, doi. 10.1007/s00236-003-0132-9
- By:
- Publication type:
- Article