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

1

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

Kazalo: “... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...”
Polni tekst

Elektronski eKnjiga

2

Stochastic Control Theory Dynamic Programming Principle /

od Nisio, Makiko., Nisio, Makiko.
Izdano 2015

Teme: “...Functional analysis....”
Polni tekst

Elektronski eKnjiga

3

Computational Methods

Izdano 2006

Kazalo: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Polni tekst

Elektronski eKnjiga

4

Reflections on the Teaching of Programming Methods and Implementations /

Izdano 2008

Kazalo: “... Method — Experiences on PBL Cases and Tutoring -- Using On-Line Tutorials in Introductory IT Courses...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2010

Kazalo: “... -- Biosensors for Functional Food Safety and Analysis -- Biosensors for Secondary Metabolites, Two Case Studies...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2007

Kazalo: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2013

Kazalo: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
Polni tekst

Elektronski eKnjiga

8

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

od Mirfendereski, Shojaeddin
Izdano 2014

Teme: “...Evolutionary programming (Computer science)...”
Polni tekst

Thesis

9

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

Izdano 2012

Kazalo: “... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2015

Kazalo: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Polni tekst

Elektronski eKnjiga

11

Stochastic Linear Programming Models, Theory, and Computation /

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

Kazalo: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Polni tekst

Elektronski eKnjiga

12

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

od Harrison, Lee Andrew (Andy),
Izdano 2020

Kazalo: “...Introduction to Radar Using Python and MATLAB -- Contents -- Preface -- Chapter 1 Introduction...”

Knjiga

13

Complex Data Modeling and Computationally Intensive Statistical Methods

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

Kazalo: “... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2015

Kazalo: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2007

Kazalo: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2008

Kazalo: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2010

Kazalo: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
Polni tekst

Elektronski eKnjiga

18

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

od Kleinman, Ken.
Izdano 2011

Teme: “...SAS (Computer program language)....”

Knjiga

19

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

Izdano 2006

Kazalo: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
Polni tekst

Elektronski eKnjiga

20

Java Methods for Financial Engineering Applications in Finance and Investment /

od Barker, Philip., Barker, Philip.
Izdano 2007

Kazalo: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje