1
Publicado 2007
Tabla de Contenidos: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...
Enlace del recurso
Electrónico eBook
3
Publicado 2008
Tabla de Contenidos: ... on Efficient Preprocessing and Support Vector Machines -- Multiple Ranker Method in Document Retrieval...
Enlace del recurso
Electrónico eBook