1
Publicado 2013
Tabla de Contenidos: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Enlace del recurso
Electrónico eBook