Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
tools function » tools functions, tools functional, tool functions
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
tools function » tools functions, tools functional, tool functions
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
Published 2006
Table of Contents:
“... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”View full text
Electronic
eBook
3
by Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Published 2012
Table of Contents:
“...Basic Building Blocks -- Architecture of Digital Circuits -- Special Topics of Data Path Synthesis...”Published 2012
View full text
Electronic
eBook
4
Table of Contents:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Visualizing Functional Data with an Application to eBay’s Online Auctions -- Visualization Tools for Insurance...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
15
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Published 2013
Table of Contents:
“... Grounded Procedure for Managing Data and Sample Size of a Home Medical Device Assessment -- Usability...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... and Data Discovery Tools -- A Knowledge-Based Model for Analyzing GSM Network Performance -- Sentiment...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Information -- Growth Characteristics of Organisms -- Information and Thermal Physics -- Parallel Information...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Resonance Signal for General Gradient Waveforms: Multiple Correlation Function Framework, Path Integrals...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... and MoCap Data, by M.J. Tsai, Allen Lee, H.W. Lee -- 25. Lower-limb muscle function in human running...”View full text
Electronic
eBook