Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
types function » types functions, types functional, type functions
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
types function » types functions, types functional, type functions
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Disorder (ASD) -- Structural Variation in Subtelomeres -- Array Based Approaches in Prenatal Diagnosis...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... Chemistry -- Synthesis of Azido-Functionalized Carbohydrates for the Design of Glycoconjugates...”View full text
Electronic
eBook
7
Table of Contents:
“... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...- EARLY BIOMEMS, MULTI-SENSOR NEUROPROBES. 1. INTRODUCTION . 2. EVOLUTION OF MICRO-SENSOR ARRAY...”View full text
Electronic
eBook
9
Table of Contents:
“... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...”
View full text
View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Warehouse Design -- & : A Methodology for Effectively and Efficiently Designing Parallel Relational Data...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... -- Prediction of Functional Types of Ligands for G Protein-Coupled Receptors with Dynamically Discriminable...”View full text
Electronic
eBook
16
Table of Contents:
“... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
View full text
View full text
Electronic
eBook
17
Subjects:
“...Mathematical Modeling and Industrial Mathematics. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...”View full text
Electronic
eBook