Tìm kiếm thay thế:
program functions » programs functional, program foundations, programme function
functions https » foundations https
https function » its function, sites function, ups function
function work » functions work, function fork, functional work
1
Được phát hành 2010
Mục lục: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
lấy văn bản
Điện tử eBook
4
Bằng Addis, Tom., Addis, Tom., Addis, Jan.
Được phát hành 2010
Mục lục: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
lấy văn bản
Điện tử eBook
6
Được phát hành 2012
Mục lục: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
lấy văn bản
Điện tử eBook
7
Được phát hành 2011
Những chủ đề: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
lấy văn bản
Điện tử eBook
8
Mục lục: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
lấy văn bản
Điện tử eBook
9
Bằng Swenson, Nathan G., Swenson, Nathan G.
Được phát hành 2014
Mục lục: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
lấy văn bản
Điện tử eBook
10
Mục lục: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
lấy văn bản
Điện tử eBook
11
Mục lục: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
lấy văn bản
Điện tử eBook
12
Bằng Jeyakumar, V., Jeyakumar, V., Luc, Dinh The.
Được phát hành 2008
Mục lục: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
lấy văn bản
Điện tử eBook
13
Được phát hành 2015
Những chủ đề: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
lấy văn bản
Điện tử eBook
14
Được phát hành 2013
Mục lục: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
lấy văn bản
Điện tử eBook
15
Được phát hành 2011
Mục lục: ... -- Working with Actin: Methodological Approaches for the Study of Actin in Neurons -- Functions of the Actin...
lấy văn bản
Điện tử eBook
16
Bằng Marcantoni, Enrico., Marcantoni, Enrico.
Được phát hành 2014
Mục lục: ...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...
lấy văn bản
Điện tử eBook
17
Được phát hành 2013
Mục lục: ... at Work -- Elimination Techniques for Program Analysis -- Narrowing Based Inductive Proof Search -- Inst...
lấy văn bản
Điện tử eBook
18
Bằng Shikhman, Vladimir., Shikhman, Vladimir.
Được phát hành 2012
Mục lục: ...Preface. -Notation -- Introduction --  Mathematical Programming Problems with Complementarity...
lấy văn bản
Điện tử eBook
19
Bằng King, Alan J., King, Alan J., Wallace, Stein W.
Được phát hành 2012
Mục lục: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
lấy văn bản
Điện tử eBook
20
Được phát hành 2006
Mục lục: ... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...
lấy văn bản
Điện tử eBook