1
Publicat 2010
Taula de continguts: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Obtenir text complet
Electrònic eBook
4
per Addis, Tom., Addis, Tom., Addis, Jan.
Publicat 2010
Taula de continguts: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Obtenir text complet
Electrònic eBook
6
Taula de continguts: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Obtenir text complet
Electrònic eBook
7
Publicat 2012
Taula de continguts: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obtenir text complet
Electrònic eBook
8
Publicat 2011
Matèries: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
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
Taula de continguts: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
Obtenir text complet
Electrònic eBook
12
Taula de continguts: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Obtenir text complet
Electrònic eBook
13
Publicat 2015
Matèries: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
Obtenir text complet
Electrònic eBook
14
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
15
Publicat 2011
Taula de continguts: ... -- Working with Actin: Methodological Approaches for the Study of Actin in Neurons -- Functions of the Actin...
Obtenir text complet
Electrònic eBook
16
Taula de continguts: ...Preface. -Notation -- Introduction --  Mathematical Programming Problems with Complementarity...
Obtenir text complet
Electrònic eBook
17
Publicat 2013
Taula de continguts: ... at Work -- Elimination Techniques for Program Analysis -- Narrowing Based Inductive Proof Search -- Inst...
Obtenir text complet
Electrònic eBook
18
Taula de continguts: ... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...
Obtenir text complet
Electrònic eBook
19
Taula de continguts: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
Obtenir text complet
Electrònic eBook
20
per Li, Duan., Li, Duan., Sun, Xiaoling.
Publicat 2006
Taula de continguts: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
Obtenir text complet
Electrònic eBook