1
Publicado 2008
Tabla de Contenidos: ...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...
Enlace del recurso
Electrónico eBook
3
Publicado 2013
Tabla de Contenidos: ... Based on Object Interactions Graph -- A Method  of Deploying Virtual Machine on Multi-Core CPU...
Enlace del recurso
Electrónico eBook