1
Publicado 2010
Table of Contents: ... -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Ligazón do recurso
Electrónico eBook
6
Publicado 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Ligazón do recurso
Electrónico eBook