1
od Liu, G.R., Liu, G.R., Gu, Y.T.
Izdano 2005
Kazalo: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ... Reprogramming -- An Improved Method for Generating and Identifying Human Induced Pluripotent Stem Cells -- Using...
Polni tekst
Elektronski eKnjiga
3
Izdano 2008
Kazalo: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
Polni tekst
Elektronski eKnjiga
4
od Hunt, John., Hunt, John.
Izdano 2014
Kazalo: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Polni tekst
Elektronski eKnjiga
5
Izdano 2007
Kazalo: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Polni tekst
Elektronski eKnjiga
6
Izdano 2012
Kazalo: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Polni tekst
Elektronski eKnjiga
7
Izdano 2010
Teme: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Polni tekst
Elektronski eKnjiga
8
Kazalo: ... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...
Polni tekst
Elektronski eKnjiga
9
Kazalo: ... of Discretization -- ANSYS® Preprocessor -- ANSYS® Solution And Postprocessing -- Finite Element Equations -- Use...
Polni tekst
Elektronski eKnjiga
10
Teme: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
Polni tekst
Elektronski eKnjiga
11
Izdano 2013
Kazalo: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
Polni tekst
Elektronski eKnjiga
12
Kazalo: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
Polni tekst
Elektronski eKnjiga
13
Izdano 2010
Kazalo: ... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...
Polni tekst
Elektronski eKnjiga
14
Izdano 2012
Kazalo: ... Restrictions -- The Likelihood Ratio Test -- Part II: Dose-response Microarray Experiments -- Functional...
Polni tekst
Elektronski eKnjiga
15
od Holt, Alan., Holt, Alan.
Izdano 2008
Kazalo: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Polni tekst
Elektronski eKnjiga
16
Kazalo: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Polni tekst
Elektronski eKnjiga
17
Izdano 2005
Kazalo: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Polni tekst
Elektronski eKnjiga
18
Izdano 2008
Kazalo: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Polni tekst
Elektronski eKnjiga
19
Izdano 2015
Kazalo: ...On Bayesian based adaptive confidence sets for linear functionals -- A new finite approximation...
Polni tekst
Elektronski eKnjiga
20
Kazalo: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Polni tekst
Elektronski eKnjiga