1
Gepubliceerd in 2010
Inhoudsopgave: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2005
Inhoudsopgave: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2015
Inhoudsopgave: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2008
Inhoudsopgave: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2013
Inhoudsopgave: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2014
Inhoudsopgave: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volledige tekst
Elektronisch E-boek
11
Inhoudsopgave: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Volledige tekst
Elektronisch E-boek
12
Inhoudsopgave: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volledige tekst
Elektronisch E-boek
13
Inhoudsopgave: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2006
Inhoudsopgave: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2006
Inhoudsopgave: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Volledige tekst
Elektronisch E-boek
16
door Pickering, Robert., Pickering, Robert.
Gepubliceerd in 2010
Inhoudsopgave: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2015
Inhoudsopgave: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Volledige tekst
Elektronisch E-boek
18
door Karrenberg, Ralf., Karrenberg, Ralf.
Gepubliceerd in 2015
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2014
Inhoudsopgave: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volledige tekst
Elektronisch E-boek
20
Inhoudsopgave: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Volledige tekst
Elektronisch E-boek