Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation interactive » implementation operation, implementation practices, implementation perspective
interactive function » interactive fiction, iterative function, interactive question
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
implementation interactive » implementation operation, implementation practices, implementation perspective
interactive function » interactive fiction, iterative function, interactive question
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”View full text
Electronic
eBook
7
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
8
Published 2010
Table of Contents:
“... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”View full text
Electronic
eBook
10
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Published 2013
Table of Contents:
“... in Smart Environments -- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Queries over Conceptual Schemata -- Data Tables with Similarity Relations: Functional Dependencies...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Polyhedron -- A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions...”View full text
Electronic
eBook
16
Subjects:
“...Robotics and Automation. https://scigraph.springernature.com/ontologies/product-market-codes/T19020...”
View full text
View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Chemistry -- Synthesis of Azido-Functionalized Carbohydrates for the Design of Glycoconjugates...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”View full text
Electronic
eBook