1
Publicerad 2006
Innehållsförteckning: ... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...
Hämta fulltext
Elektronisk E-bok
2
Innehållsförteckning: ... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...
Hämta fulltext
Elektronisk E-bok
3
av Hunt, John., Hunt, John.
Publicerad 2014
Innehållsförteckning: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Hämta fulltext
Elektronisk E-bok
4
av Klawonn, Frank., Klawonn, Frank.
Publicerad 2012
Innehållsförteckning: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
Hämta fulltext
Elektronisk E-bok
5
Innehållsförteckning: ...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...
Hämta fulltext
Elektronisk E-bok
6
Innehållsförteckning: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
Hämta fulltext
Elektronisk E-bok
7
Innehållsförteckning: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2007
Innehållsförteckning: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...
Hämta fulltext
Elektronisk E-bok
10
av Holt, Alan., Holt, Alan.
Publicerad 2008
Innehållsförteckning: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Hämta fulltext
Elektronisk E-bok
11
av Ashlock, Daniel., Ashlock, Daniel.
Publicerad 2006
Innehållsförteckning: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2007
Innehållsförteckning: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2007
Innehållsförteckning: .../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2014
Innehållsförteckning: ...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... Using Potential Active Contour Method -- Inductive Learning Methods in the Simple Image Understanding...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2014
Innehållsförteckning: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2006
Innehållsförteckning: ... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2012
Innehållsförteckning: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Hämta fulltext
Elektronisk E-bok