1
Argitaratua 2013
Aurkibidea: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Testu osoa
Baliabide elektronikoa eBook