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