Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs interaction » programs interactions, program integration, program interactive
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
programs interaction » programs interactions, program integration, program interactive
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
1
Udgivet 2005
Indholdsfortegnelse:
“... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2005
Indholdsfortegnelse:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2011
Indholdsfortegnelse:
“... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”Få fuldtekst
Electronisk
eBog
6
Indholdsfortegnelse:
“...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2011
Indholdsfortegnelse:
“... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2014
Indholdsfortegnelse:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”Få fuldtekst
Electronisk
eBog
11
Udgivet 2015
Indholdsfortegnelse:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2012
Indholdsfortegnelse:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”Få fuldtekst
Electronisk
eBog
13
Udgivet 2014
Indholdsfortegnelse:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2013
Indholdsfortegnelse:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2014
Indholdsfortegnelse:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2015
Indholdsfortegnelse:
“... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...”Få fuldtekst
Electronisk
eBog
20
Indholdsfortegnelse:
“... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog