Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functional function » functionals function, functional functions, function function
parallel function » parallel functional, parallel auction, parallel union
type functional » some functional
function https » functions https, fiction https
function type » functional type, function hyper, friction type
functional function » functionals function, functional functions, function function
parallel function » parallel functional, parallel auction, parallel union
type functional » some functional
function https » functions https, fiction https
function type » functional type, function hyper, friction type
1
Argitaratua 2015
Aurkibidea:
“... -- Parallel Donor Genotyping For 46 Selected Blood Group and 4 Human Platelet Antigens Using High-Throughput...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2015
Aurkibidea:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2011
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2013
Aurkibidea:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2012
Gaiak:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2013
Aurkibidea:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2007
Aurkibidea:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Testu osoa
Baliabide elektronikoa
eBook
13
Aurkibidea:
“... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
nork Mohd Yusof, Norwahyuni, Md Tahir, Paridah, Seng, Hua Lee, Khan, Mohammad Asim, Mohammad Suffian James, Redzuan
Argitaratua 2019
“... panels were developed by using two diferent types of adhesives, namely, phenol resorcinol formaldehyde...”Argitaratua 2019
Testu osoa
Artikulua
15
Argitaratua 2014
Aurkibidea:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2012
Aurkibidea:
“... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2014
Aurkibidea:
“... -- On Semilinear Hyperbolic Functional Equations -- A Fast Parallel Algorithm for Delay Partial Differential...”Testu osoa
Baliabide elektronikoa
eBook
18
Aurkibidea:
“... definitions -- 1.3 Types of PKM architectures -- 1.4 Why a book dedicated to the dynamics of parallel robots...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Testu osoa
Baliabide elektronikoa
eBook