Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
function foundation » foundation foundation, action foundation, function function
parallel program » parallel programs, parallel problem, parallel programming
program function » programme function, programs functional, program foundation
foundation https » foundations https, foundations http, function https
program program » programs program, programming program
function foundation » foundation foundation, action foundation, function function
parallel program » parallel programs, parallel problem, parallel programming
program function » programme function, programs functional, program foundation
foundation https » foundations https, foundations http, function https
program program » programs program, programming program
1
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2013
Indholdsfortegnelse:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Få fuldtekst
Electronisk
eBog
5
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Udgivet 2010
Indholdsfortegnelse:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Få fuldtekst
Electronisk
eBog
6
Indholdsfortegnelse:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2015
Indholdsfortegnelse:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2006
Indholdsfortegnelse:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2006
Indholdsfortegnelse:
“... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog
18
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2014
Indholdsfortegnelse:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Få fuldtekst
Electronisk
eBog
20
Indholdsfortegnelse:
“... Programming -- Using LINQ -- Windows Presentation Foundation....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog