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