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