Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese
|
Efficient checking of polynomials and proofs and the hardness of approximation problemsSudan, MadhuBerlin ; New York : Springer₋VerlagSem texto completo |
|
2 |
Material Type: Tese
|
Semantic methods for execution-level business process modeling modeling support through process verification and service compositionWeber, Ingo MBerlin ; Heidelberg : Springer-VerlagSem texto completo |
|
3 |
Material Type: Tese
|
Towards a software factoryGenuchten, Michiel vanDordrecht: Kluwer Academic Publishers 1992Texto completo disponível |
|
4 |
Material Type: Tese
|
Transactional agents : towards a robust multi-agent systemNagi, KhaledBerlin [u.a.] : SpringerSem texto completo |