Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
interactive transformations » interaction transformation, interactions transformation, interactive information
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract nets » contract net, contract need, contract new
interactive transformations » interaction transformation, interactions transformation, interactive information
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract nets » contract net, contract need, contract new
1
Julkaistu 2014
Sisällysluettelo:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2005
Sisällysluettelo:
“... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”Hae kokoteksti
Elektroninen
E-kirja