1
Publicat 2005
Taula de continguts: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Obtenir text complet
Electrònic eBook
3
per Liu, G.R., Liu, G.R., Gu, Y.T.
Publicat 2005
Taula de continguts: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Obtenir text complet
Electrònic eBook
4
Publicat 2013
Taula de continguts: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obtenir text complet
Electrònic eBook
6
per Bramer, Max., Bramer, Max.
Publicat 2015
Taula de continguts: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...
Obtenir text complet
Electrònic eBook
8
Publicat 2014
Taula de continguts: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Matèries: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
Obtenir text complet
Electrònic eBook
10
Taula de continguts: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
Obtenir text complet
Electrònic eBook
11
Taula de continguts: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Obtenir text complet
Electrònic eBook
12
Publicat 2005
Taula de continguts: ... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...
Obtenir text complet
Electrònic eBook
17
Publicat 2015
Taula de continguts: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
Obtenir text complet
Electrònic eBook