1
Publicado 2013
Tabla de Contenidos: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Enlace del recurso
Electrónico eBook
2
Publicado 2008
Tabla de Contenidos: ... with Lightweight Annotation Requirements -- A Logic Programming Approach to Scientific Workflow Provenance Querying...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: .../Procedural Metadata Mapping Language Based on Python -- Using a Metadata Schema Registry in the National...
Enlace del recurso
Electrónico eBook