Rezultaty - ((functions computational) or (functions functional)) programming using methods case*

1

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

Spis treści: “... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Stochastic Control Theory Dynamic Programming Principle /

od Nisio, Makiko., Nisio, Makiko.
Wydane 2015

Hasła przedmiotowe: “...Functional analysis....”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Computational Methods

Wydane 2006

Spis treści: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Reflections on the Teaching of Programming Methods and Implementations /

Wydane 2008

Spis treści: “... Method — Experiences on PBL Cases and Tutoring -- Using On-Line Tutorials in Introductory IT Courses...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Bio-Farms for Nutraceuticals Functional Food and Safety Control by Biosensors /

Wydane 2010

Spis treści: “... -- Biosensors for Functional Food Safety and Analysis -- Biosensors for Secondary Metabolites, Two Case Studies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

7

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

Wydane 2013

Spis treści: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Small signal oscillatory instability control of power system using posicast controller and evolutionary programming

od Mirfendereski, Shojaeddin
Wydane 2014

Hasła przedmiotowe: “...Evolutionary programming (Computer science)...”
Dokumenty pełnotekstowe

Thesis

9

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

Wydane 2012

Spis treści: “... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Wydane 2015

Spis treści: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

12

Introduction to radar using Python and MATLAB / Lee Andrew Harrison.

od Harrison, Lee Andrew (Andy),
Wydane 2020

Spis treści: “...Introduction to Radar Using Python and MATLAB -- Contents -- Preface -- Chapter 1 Introduction...”

Książka

13

Complex Data Modeling and Computationally Intensive Statistical Methods

od Mantovan, Pietro., Mantovan, Pietro., Secchi, Piercesare.
Wydane 2010

Spis treści: “... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Wydane 2015

Spis treści: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2008

Spis treści: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2010

Spis treści: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Using SAS for data management, statistical analysis, and graphics /

od Kleinman, Ken.
Wydane 2011

Hasła przedmiotowe: “...SAS (Computer program language)....”

Książka

19

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Wydane 2006

Spis treści: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

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

Redukuj rezultaty