Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
structuring function » structure function, structural function, structures function
tools structuring » foods structuring, goal structuring, tools structure
function function » function functional, functions functional, function dysfunction
parallel tools » parallel tasks, parallel texts
function https » functions https, fiction https
structuring function » structure function, structural function, structures function
tools structuring » foods structuring, goal structuring, tools structure
function function » function functional, functions functional, function dysfunction
parallel tools » parallel tasks, parallel texts
function https » functions https, fiction https
1
Vydáno 2006
Obsah:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Získat plný text
Elektronický zdroj
E-kniha
2
Obsah:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2010
Obsah:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2005
Obsah:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“... Dynamics -- Towards Dynamic Substructuring Using Measured Impulse Response Functions -- Hybrid Modeling...”Získat plný text
Elektronický zdroj
E-kniha
10
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Vydáno 2013
Obsah:
“... Evaluation of Mobile Web Applications -- Design and Implementation of ErgoIdentifier: A Tool for Automated...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2013
Obsah:
“.... How far are compliant mechanisms from rigid-body mechanisms and stiff structures?, by G. K...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2014
Obsah:
“... -- Swap Edges of Shortest Path Tree in Parallel -- A New Approach for Parallel Discrete Fourier Transform...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2008
Obsah:
“... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2005
Obsah:
“... Triangulations -- Convex Hull and Voronoi Diagram of Additively Weighted Points -- New Tools and Simpler...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“...Invited Talks (Abstracts) -- Mining Billion-Node Graphs: Patterns, Generators and Tools...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2007
Obsah:
“... Information -- Growth Characteristics of Organisms -- Information and Thermal Physics -- Parallel Information...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2007
Obsah:
“... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2014
Obsah:
“... -- To Study the Architectural Designs of a Proposed Comprehensive Software Extractor for Re-Engineering Tool...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... -- Positioning, Structuring and Controlling with Nanoprecision -- Challenges of Precision Assembly with a...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2011
Obsah:
“... -- Automation Tools Supporting the Development of Information Standards for Complex Systems -- Use of Structured...”Získat plný text
Elektronický zdroj
E-kniha