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