Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
function mining » function managing, functions combining, function learning
https function » its function, sites function, ups function
mining https » thinking https, banking https, writing https
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
function mining » function managing, functions combining, function learning
https function » its function, sites function, ups function
mining https » thinking https, banking https, writing https
1
Udgivet 2013
Indholdsfortegnelse:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”Få fuldtekst
Electronisk
eBog
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Udgivet 2015
Indholdsfortegnelse:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Få fuldtekst
Electronisk
eBog
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Få fuldtekst
Electronisk
eBog
6
Indholdsfortegnelse:
“...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“..., and Visualisation Environment for G12 -- Global Constraints on Feature Models -- Constraint Programming for Mining n...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2008
Indholdsfortegnelse:
“... Mining -- From ILP to PILP -- Computer Vision and Pattern Recognition -- Density of Closed Balls in Real...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2008
Indholdsfortegnelse:
“... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... -- On the Role of Non-functional Properties in Compiler Verification....”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2007
Indholdsfortegnelse:
“... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”Få fuldtekst
Electronisk
eBog