1
Publicado em 2006
Sumário: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2013
Sumário: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
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 2005
Sumário: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2014
Sumário: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
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: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2013
Sumário: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Sumário: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Por Comninos, Peter., Comninos, Peter.
Publicado em 2006
Sumário: ...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...
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 Fischer, Robert., Fischer, Robert.
Publicado em 2015
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2008
Sumário: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2013
Sumário: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico