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