Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
program functional » programs functional, program functionality, program national
parallel function » parallel functional, parallel auction, parallel union
functional source » functional surface, functional score, function resource
function program » functional program, functions programs, functional programs
source https » resources https, space https
program functional » programs functional, program functionality, program national
parallel function » parallel functional, parallel auction, parallel union
functional source » functional surface, functional score, function resource
function program » functional program, functions programs, functional programs
source https » resources https, space https
1
Veröffentlicht 2011
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2013
Inhaltsangabe:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2010
Inhaltsangabe:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2010
Inhaltsangabe:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2005
Inhaltsangabe:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2006
Inhaltsangabe:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2010
Inhaltsangabe:
“...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”Volltext
Elektronisch
E-Book
8
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Volltext
Elektronisch
E-Book
9
Schlagworte:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Volltext
Elektronisch
E-Book
10
von Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Veröffentlicht 2010
Inhaltsangabe:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Veröffentlicht 2010
Volltext
Elektronisch
E-Book
11
Schlagworte:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volltext
Volltext
Elektronisch
E-Book
12
Veröffentlicht 2005
Inhaltsangabe:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2008
Inhaltsangabe:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2010
Inhaltsangabe:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2015
Inhaltsangabe:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2014
Inhaltsangabe:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2010
Inhaltsangabe:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Volltext
Elektronisch
E-Book
18
Veröffentlicht 2010
Inhaltsangabe:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Volltext
Elektronisch
E-Book
19
Veröffentlicht 2010
Inhaltsangabe:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Volltext
Elektronisch
E-Book
20
Veröffentlicht 2010
Inhaltsangabe:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Volltext
Elektronisch
E-Book
- 1
- 2
- 3
- Nächster »
- [3]



