Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
parallel computers » parallel computing
computers programs » computer programs, computer program, computer programes
programs function » programs functional, programme function, programs fiction
function coding » functional coding, function encoding, truncation coding
coding https » modeling https, coatings https, coaching https
parallel computers » parallel computing
computers programs » computer programs, computer program, computer programes
programs function » programs functional, programme function, programs fiction
function coding » functional coding, function encoding, truncation coding
coding https » modeling https, coatings https, coaching https
1
Wydane 2013
Spis treści:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Dokumenty pełnotekstowe
Elektroniczne
E-book
2
Wydane 2010
Spis treści:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Dokumenty pełnotekstowe
Elektroniczne
E-book
3
Wydane 2007
Spis treści:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Dokumenty pełnotekstowe
Elektroniczne
E-book
4
Wydane 2010
Spis treści:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Dokumenty pełnotekstowe
Elektroniczne
E-book
5
Wydane 2006
Spis treści:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Dokumenty pełnotekstowe
Elektroniczne
E-book
6
Wydane 2012
Hasła przedmiotowe:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Dokumenty pełnotekstowe
Elektroniczne
E-book
7
Wydane 2015
Spis treści:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Dokumenty pełnotekstowe
Elektroniczne
E-book
8
Wydane 2005
Spis treści:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Dokumenty pełnotekstowe
Elektroniczne
E-book
9
Wydane 2006
Spis treści:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Dokumenty pełnotekstowe
Elektroniczne
E-book
10
Wydane 2011
Hasła przedmiotowe:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Dokumenty pełnotekstowe
Elektroniczne
E-book
11
Wydane 2010
Spis treści:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Dokumenty pełnotekstowe
Elektroniczne
E-book
12
Wydane 2006
Spis treści:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Dokumenty pełnotekstowe
Elektroniczne
E-book
13
Wydane 2005
Spis treści:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Dokumenty pełnotekstowe
Elektroniczne
E-book
14
Wydane 2005
Spis treści:
“...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”Dokumenty pełnotekstowe
Elektroniczne
E-book
15
Spis treści:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
16
Wydane 2007
Spis treści:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Dokumenty pełnotekstowe
Elektroniczne
E-book
17
Hasła przedmiotowe:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
18
Wydane 2006
Spis treści:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Dokumenty pełnotekstowe
Elektroniczne
E-book
19
Wydane 2013
Spis treści:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Dokumenty pełnotekstowe
Elektroniczne
E-book
20
Wydane 2008
Spis treści:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Dokumenty pełnotekstowe
Elektroniczne
E-book



