Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality source » functional source, functionality screen, functionality stage
functional program » functional programs, national program, functional programming
source https » resources https, space https
program functionality » protein functionality, programs functional, supra functionality
functionality source » functional source, functionality screen, functionality stage
functional program » functional programs, national program, functional programming
source https » resources https, space https
1
Publicado 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”Ligazón do recurso
Electrónico
eBook
8
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
9
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
10
por Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicado 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicado 2010
Ligazón do recurso
Electrónico
eBook
11
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
12
Publicado 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2008
Table of Contents:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2015
Table of Contents:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- 3
- Seguinte »
- [3]