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