1
Indholdsfortegnelse: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: .... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...
Få fuldtekst
Electronisk eBog
3
af Hunt, John., Hunt, John.
Udgivet 2014
Indholdsfortegnelse: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Få fuldtekst
Electronisk eBog
6
Udgivet 2015
Indholdsfortegnelse: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Få fuldtekst
Electronisk eBog
7
Indholdsfortegnelse: ... and Mathematical Programming....
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ...Human Embryonic Stem Cell Derivation, Maintenance, and Differentiation to Trophoblast -- Isolation...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
Få fuldtekst
Electronisk eBog
10
Udgivet 2014
Indholdsfortegnelse: ...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Få fuldtekst
Electronisk eBog
13
Udgivet 2012
Indholdsfortegnelse: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
Få fuldtekst
Electronisk eBog
14
Udgivet 2007
Indholdsfortegnelse: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Få fuldtekst
Electronisk eBog
15
Indholdsfortegnelse: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
17
Indholdsfortegnelse: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
Få fuldtekst
Electronisk eBog
18
Fag: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
Få fuldtekst
Electronisk eBog