1
Được phát hành 2010
Mục lục: ... -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
lấy văn bản
Điện tử eBook
5
Được phát hành 2014
Mục lục: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
lấy văn bản
Điện tử eBook
6
Được phát hành 2014
Mục lục: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
lấy văn bản
Điện tử eBook