1
Publicerad 2008
Innehållsförteckning: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Hämta fulltext
Elektronisk E-bok
3
av Addis, Tom., Addis, Tom., Addis, Jan.
Publicerad 2010
Innehållsförteckning: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2007
Innehållsförteckning: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Hämta fulltext
Elektronisk E-bok
5
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2005
Innehållsförteckning: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Hämta fulltext
Elektronisk E-bok
7
Innehållsförteckning: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2006
Innehållsförteckning: ... of Sets of Operators -- On the Equation div u = g and Bogovskii’s Operator in Sobolev Spaces of Negative...
Hämta fulltext
Elektronisk E-bok
9
av Rohde, Charles A., Rohde, Charles A.
Publicerad 2014
Ämnen: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
10
Innehållsförteckning: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2006
Innehållsförteckning: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Hämta fulltext
Elektronisk E-bok
12
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2015
Innehållsförteckning: ... Modifications in Plant Responses to Environmental Stresses -- Setting the Stage for the Next Generation...
Hämta fulltext
Elektronisk E-bok
14
Innehållsförteckning: ...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2013
Innehållsförteckning: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2011
Innehållsförteckning: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
Hämta fulltext
Elektronisk E-bok
19
Innehållsförteckning: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...
Hämta fulltext
Elektronisk E-bok