1
Published 2010
Table of Contents: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
View full text
Electronic eBook
2
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
View full text
Electronic eBook
4
Table of Contents: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Basis Function Neural Network -- Authentication and Protection for Medical Image -- Intellignet Signal...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Collective Intelligence in Web Systems – Web Systems Analysis -- Neuro-Fuzzy Models in Global HTTP...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Multimedia Mathematics Project In A Teacher Education Program -- Teacher Educators Using Technology...
View full text
Electronic eBook
9
.... In assessing the performance of this novel loss function, we employed two self-collected datasets comprising...
View full text
Article
10
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
View full text
Electronic eBook
12
Subjects: ...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...
View full text
Electronic eBook
13
Table of Contents: ... Applications -- Using Collections -- Using Layout Managers -- Using Swing’s JTable -- Using Swing’s JTree...
View full text
Electronic eBook
14
by Sestoft, Peter., Sestoft, Peter.
Published 2012
Table of Contents: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
View full text
Electronic eBook
15
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
19
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic...
View full text
Electronic eBook