Rezultaty - function method program development https https*

1

An Introduction to Meshfree Methods and Their Programming

od Liu, G.R., Liu, G.R., Gu, Y.T.
Wydane 2005

Spis treści: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Cellular Programming and Reprogramming Methods and Protocols /

Wydane 2010

Spis treści: “... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Reflections on the Teaching of Programming Methods and Implementations /

Wydane 2008

Spis treści: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

A Beginner's Guide to Scala, Object Orientation and Functional Programming

od Hunt, John., Hunt, John.
Wydane 2014

Spis treści: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Wydane 2007

Spis treści: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Wydane 2012

Spis treści: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Wydane 2010

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Introductory Statistical Inference with the Likelihood Function

od Rohde, Charles A., Rohde, Charles A.
Wydane 2014

Hasła przedmiotowe: “...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods...

Wydane 2013

Spis treści: “... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Quantifying Functional Biodiversity

od Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Wydane 2012

Spis treści: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Wydane 2010

Spis treści: “... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Java Methods for Financial Engineering Applications in Finance and Investment /

od Barker, Philip., Barker, Philip.
Wydane 2007

Spis treści: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Wydane 2005

Spis treści: “..., Segmentation, and Tracking -- Analysis of the Interdependencies Among Plaque Development, Vessel Curvature...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Nonlinear Integer Programming

od Li, Duan., Li, Duan., Sun, Xiaoling.
Wydane 2006

Spis treści: “... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Upper and Lower Bounds for Stochastic Processes Modern Methods and Classical Problems /

od Talagrand, Michel., Talagrand, Michel.
Wydane 2014

Hasła przedmiotowe: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Asymptotic Geometric Analysis Proceedings of the Fall 2010 Fields Institute Thematic Program /

Wydane 2013

Spis treści: “... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Wydane 2008

Spis treści: “... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Lectures on the Nearest Neighbor Method

od Biau, Gérard., Biau, Gérard., Devroye, Luc.
Wydane 2015

Spis treści: “... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Stochastic Linear Programming Models, Theory, and Computation /

od Kall, Peter., Kall, Peter., Mayer, János.
Wydane 2005

Spis treści: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Polyadenylation in Plants Methods and Protocols /

Wydane 2015

Spis treści: “... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty