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