Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computation » function computation, functions composition, function composition
programming caching » programming making, programming learning, programming building
function computing » education computing, generation computing
caching method » coaching method, catching methods, coaching methods
method tools » methods tools, method two
functions computation » function computation, functions composition, function composition
programming caching » programming making, programming learning, programming building
function computing » education computing, generation computing
caching method » coaching method, catching methods, coaching methods
method tools » methods tools, method two
1
Argitaratua 2010
Aurkibidea:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2014
Aurkibidea:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2015
Aurkibidea:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2008
Aurkibidea:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2015
Aurkibidea:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2007
Aurkibidea:
“... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Basic Function Neural Networks Based on Artificial Immune Networks -- Spatial Filter Selection...”Testu osoa
Baliabide elektronikoa
eBook