Proofs and types /

অনুরূপ উপাদানগুলি

• Lambda-calculus and combinators, an introduction /
  অনুযায়ী: Hindley, J. Roger
  প্রকাশিত: (2008)
• Lambda-calculus and combinators, an introduction /
  অনুযায়ী: Hindley, J. Roger
  প্রকাশিত: (2008)
• Income modeling using quantile functions(Thesis)
  অনুযায়ী: Haritha N Haridas
  প্রকাশিত: (2007)
• Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
  প্রকাশিত: (2008)
• Java SE 8 for the really impatient/
  অনুযায়ী: Horstmann,Cay S.
  প্রকাশিত: (2015)