1
出版 2015
書本目錄: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ... Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
獲取全文
電子 電子書
6
出版 2006
書本目錄: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
獲取全文
電子 電子書
8
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
獲取全文
電子 電子書
9
出版 2010
書本目錄: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
獲取全文
電子 電子書
10
出版 2010
書本目錄: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
獲取全文
電子 電子書
11
出版 2005
書本目錄: ...-classification with Predictive Clustering Trees in Functional Genomics -- 6 – Extracting Knowledge from Databases...
獲取全文
電子 電子書
12
出版 2013
書本目錄: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
獲取全文
電子 電子書
13
出版 2008
書本目錄: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
獲取全文
電子 電子書
14
出版 2010
書本目錄: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
獲取全文
電子 電子書
16
書本目錄: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
獲取全文
電子 電子書
17
出版 2006
書本目錄: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
獲取全文
電子 電子書
18
出版 2005
書本目錄: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
獲取全文
電子 電子書
20
書本目錄: ... -- Graphics, Multimedia, and Printing -- Database Access -- Networking -- Security and Cryptography...
獲取全文
電子 電子書