1
Publicat 2010
Taula de continguts: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ... Linear Models -- Functional Principal Components -- Canonical Correlation -- Functional Cluster Analysis...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Matèries: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...
Obtenir text complet
Electrònic eBook
7
Publicat 2011
Matèries: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
Obtenir text complet
Electrònic eBook
10
Taula de continguts: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Obtenir text complet
Electrònic eBook
11
Publicat 2013
Taula de continguts: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Obtenir text complet
Electrònic eBook
12
Publicat 2013
Taula de continguts: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Obtenir text complet
Electrònic eBook
13
Taula de continguts: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
Obtenir text complet
Electrònic eBook
14
Taula de continguts: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
Obtenir text complet
Electrònic eBook
15
Taula de continguts: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
Obtenir text complet
Electrònic eBook
16
Taula de continguts: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Obtenir text complet
Electrònic eBook
17
Publicat 2012
Taula de continguts: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
Obtenir text complet
Electrònic eBook
18
per Nisio, Makiko., Nisio, Makiko.
Publicat 2015
Matèries: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Obtenir text complet
Electrònic eBook
19
Taula de continguts: ... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ..., Segmentation, and Tracking -- Analysis of the Interdependencies Among Plaque Development, Vessel Curvature...
Obtenir text complet
Electrònic eBook