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