1
Julkaistu 2015
Sisällysluettelo: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... neuroimaging mass meta-analysis with a wiki -- Linked Data and Linked APIs: Similarities, Differences...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ...Sixth Model-Driven Web Engineering Workshop (MDWE) -- Rapid Development of Composite Applications...
Hae kokoteksti
Elektroninen E-kirja