1
Udgivet 2010
Indholdsfortegnelse: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Få fuldtekst
Electronisk eBog
3
af Nisio, Makiko., Nisio, Makiko.
Udgivet 2015
Fag: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Få fuldtekst
Electronisk eBog
5
Udgivet 2011
Indholdsfortegnelse: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Få fuldtekst
Electronisk eBog
6
af Hunt, John., Hunt, John.
Udgivet 2014
Indholdsfortegnelse: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Få fuldtekst
Electronisk eBog
7
Indholdsfortegnelse: ... and Microcapsules for Controlled Release -- Part III Thermo-/pH-Dual-Responsive Hydrogel Functional Materials...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ... and Its Role in Adaptive Finite Element Error Control -- Ergodic Properties of Reaction-diffusion...
Få fuldtekst
Electronisk eBog
11
Indholdsfortegnelse: ...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Indholdsfortegnelse: ... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...
Få fuldtekst
Electronisk eBog
13
Udgivet 2012
Indholdsfortegnelse: ... Control -- Challenges of Mathematical Biology -- Mathematical Programming and Computer Science....
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
Få fuldtekst
Electronisk eBog
15
16
af Lopez, Cesar., Lopez, Cesar.
Udgivet 2014
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
17
18
Indholdsfortegnelse: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Få fuldtekst
Electronisk eBog
19
Udgivet 2006
Indholdsfortegnelse: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Få fuldtekst
Electronisk eBog