1
Được phát hành 2014
Mục lục: ...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...
lấy văn bản
Điện tử eBook
2
Được phát hành 2014
Mục lục: ... Hulls and Metric Gabriel Graphs -- Cellular automaton shading for building envelopes -- Pattern...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
lấy văn bản
Điện tử eBook
4
Được phát hành 2013
Mục lục: ... Proof Systems -- On the Resolution Complexity of Graph Non-isomorphism -- Quantified Boolean Formulas...
lấy văn bản
Điện tử eBook
5
Được phát hành 2007
Mục lục: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
lấy văn bản
Điện tử eBook
7
Được phát hành 2012
Mục lục: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
lấy văn bản
Điện tử eBook
8
Được phát hành 2012
Mục lục: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
lấy văn bản
Điện tử eBook
9
Được phát hành 2015
Mục lục: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
lấy văn bản
Điện tử eBook