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