Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
program function » programme function, programs functional, program foundation
function role » functional role, functional roles
role https » europe https
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
program function » programme function, programs functional, program foundation
function role » functional role, functional roles
role https » europe https
1
Udgivet 2013
Indholdsfortegnelse:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2010
Indholdsfortegnelse:
“... with the TSP -- The Role of Syntactic and Semantic Locality of Crossover in Genetic Programming -- The Layered...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
7
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“... Their Roles in Object Oriented Programming....”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2014
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2015
Indholdsfortegnelse:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Få fuldtekst
Electronisk
eBog