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: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Obter o texto integral
Recurso Electrónico livro electrónico
8
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
9
Sumário: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Sumário: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Obter o texto integral
Recurso Electrónico livro electrónico
11
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
12
Sumário: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Obter o texto integral
Recurso Electrónico livro electrónico
13
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
14
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
15
Publicado em 2008
Sumário: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Obter o texto integral
Recurso Electrónico livro electrónico
16
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
17
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
18
Publicado em 2008
Sumário: ... Projective Transformations -- Lower Bounds for Syntactically Multilinear Algebraic Branching Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ..., Projection Pursuit Guided Tours, and Manual Controls -- Multidimensional Scaling -- Huge Multidimensional...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
Obter o texto integral
Recurso Electrónico livro electrónico