1
Udgivet 2008
Indholdsfortegnelse: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Få fuldtekst
Electronisk eBog
3
af Addis, Tom., Addis, Tom., Addis, Jan.
Udgivet 2010
Indholdsfortegnelse: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Få fuldtekst
Electronisk eBog
5
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Få fuldtekst
Electronisk eBog
7
Indholdsfortegnelse: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
Få fuldtekst
Electronisk eBog
8
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
9
Fag: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ... of Sets of Operators -- On the Equation div u = g and Bogovskii’s Operator in Sobolev Spaces of Negative...
Få fuldtekst
Electronisk eBog
11
Indholdsfortegnelse: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Få fuldtekst
Electronisk eBog
12
Udgivet 2006
Indholdsfortegnelse: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Få fuldtekst
Electronisk eBog
13
Udgivet 2015
Indholdsfortegnelse: ... Modifications in Plant Responses to Environmental Stresses -- Setting the Stage for the Next Generation...
Få fuldtekst
Electronisk eBog
14
Indholdsfortegnelse: ...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Få fuldtekst
Electronisk eBog
16
Udgivet 2005
Indholdsfortegnelse: ...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
Få fuldtekst
Electronisk eBog
18
Indholdsfortegnelse: ...Preface. -Notation -- Introduction --  Mathematical Programming Problems with Complementarity...
Få fuldtekst
Electronisk eBog
19
Udgivet 2012
Indholdsfortegnelse: ...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...
Få fuldtekst
Electronisk eBog
20
Indholdsfortegnelse: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
Få fuldtekst
Electronisk eBog