Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs programming » programmer programming, problems programming, programming programming
functional programs » functional programming, educational programs, functional properties
programming spaces » programming ispaces, programming space, programming shapes
spaces https » space https, impacts https
programs programming » programmer programming, problems programming, programming programming
functional programs » functional programming, educational programs, functional properties
programming spaces » programming ispaces, programming space, programming shapes
spaces https » space https, impacts https
1
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”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
Udgivet 2014
Indholdsfortegnelse:
“... -- High Scalability for Semantic Indexes -- Integration of Semantic Technologies for Business Process...”Få fuldtekst
Electronisk
eBog
7
af Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Udgivet 2005
Indholdsfortegnelse:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Udgivet 2005
Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... Survey of Fuzzy Integrals: Directions for Extensions -- Choquet Integral on Locally Compact Space: A...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“... of Functions -- Differential Calculus -- Some Basic Properties of Differentiable Functions -- Polynomials...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2006
Indholdsfortegnelse:
“...COTS Selection, Integration -- A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... Group C*-algebras of Certain Discrete Groups -- Singular Integral Operators on Variable Lebesgue Spaces...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2006
Indholdsfortegnelse:
“...: An NPB Experimental Study -- Efficient Search-Space Pruning for Integrated Fusion and Tiling...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“...Linear Spaces -- Linear Operators on Normed Spaces -- Approximation Theory -- Fourier Analysis...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Få fuldtekst
Electronisk
eBog