1
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
2
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
View full text
Electronic eBook
4
Table of Contents: ... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...
View full text
Electronic eBook
5
Table of Contents: ... Program: Day 4 – Entrepreneurial Literacy -- Consumer and Entrepreneurial Literacy Program: Day 5...
View full text
Electronic eBook
6
Table of Contents: ...1 Introduction -- 2 The Production Function -- 3 Optimisation with One Input -- 4 Production...
View full text
Electronic eBook
7
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
8
by Hunt, John., Hunt, John.
Published 2013
Table of Contents: ... Pattern -- Part IV – Gang of Four Patterns -- Gang of Four Design Patterns -- Gang of Four Patterns...
View full text
Electronic eBook
9
by Pathak, Nishith., Pathak, Nishith.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
10
Table of Contents: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
View full text
Electronic eBook
11
Table of Contents: ...The Clojure Way -- The Clojure Environment -- Controlling Program Flow -- Data in Clojure...
View full text
Electronic eBook
12
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Program -- 3. The ACE Consult program -- 4.The Advanced Dementia Consult program -- 5. Acute Care...
View full text
Electronic eBook
14
Table of Contents: ... -- .1.3 Rational numbers and real numbers -- 1.4 Power functions -- Ch. 2 Sequences and Series -- 2.1...
View full text
Electronic eBook
15
by Quirk, Thomas J., Quirk, Thomas J.
Published 2015
Table of Contents: ... -- Confidence Interval About the Mean Using the TINV Function and Hypothesis Testing -- One-Group t-Test...
View full text
Electronic eBook
16
by Holt, Alan., Holt, Alan.
Published 2008
Table of Contents: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
View full text
Electronic eBook
17
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Table of Contents: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
View full text
Electronic eBook
19
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
20
Published 2008
Table of Contents: ... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...
View full text
Electronic eBook