Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs computation » programs competition, program computational, program compilation
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
computation https » computing https
based https » based http
programs computation » programs competition, program computational, program compilation
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
computation https » computing https
based https » based http
1
Udgivet 2008
Indholdsfortegnelse:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2015
Indholdsfortegnelse:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Få fuldtekst
Electronisk
eBog
6
7
Indholdsfortegnelse:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Udgivet 2015
Indholdsfortegnelse:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2015
Indholdsfortegnelse:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2007
Indholdsfortegnelse:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2005
Indholdsfortegnelse:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2007
Indholdsfortegnelse:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Få fuldtekst
Electronisk
eBog