1
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
2
Gepubliceerd in 2005
Inhoudsopgave: ... Using uDAPL Interface -- Experiences, Strategies and Challenges in Adapting PVM to VxWorks TM Hard Real...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2015
Inhoudsopgave: ...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...
Volledige tekst
Elektronisch E-boek
5
Inhoudsopgave: ... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...
Volledige tekst
Elektronisch E-boek
6
Inhoudsopgave: ... of Discretization -- ANSYS® Preprocessor -- ANSYS® Solution And Postprocessing -- Finite Element Equations -- Use...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2014
Inhoudsopgave: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2007
Inhoudsopgave: ... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2014
Inhoudsopgave: ... Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time...
Volledige tekst
Elektronisch E-boek
10
Onderwerpen: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
11
door Brett Spell, Terrill., Brett Spell, Terrill.
Gepubliceerd in 2005
Inhoudsopgave: ...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...
Volledige tekst
Elektronisch E-boek
12
door Birge, John R., Birge, John R., Louveaux, François.
Gepubliceerd in 2011
Inhoudsopgave: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Volledige tekst
Elektronisch E-boek
13
door Lee, Kent D., Lee, Kent D.
Gepubliceerd in 2014
Inhoudsopgave: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2010
Inhoudsopgave: ...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...
Volledige tekst
Elektronisch E-boek
15
door Brooks, David R., Brooks, David R.
Gepubliceerd in 2011
Inhoudsopgave: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2010
Inhoudsopgave: ... Reconfigurable Function Model and Optimized Interface Topologies -- ReconOS: An Operating System for Dynamically...
Volledige tekst
Elektronisch E-boek
17
Inhoudsopgave: ... Gradient -- Axisymmetry -- Interface and Multizone -- Error Estimation and Adaptivity -- Fracture Mechanics...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2007
Inhoudsopgave: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
Volledige tekst
Elektronisch E-boek
19
door Chambers, John., Chambers, John.
Gepubliceerd in 2008
Inhoudsopgave: ... Classes -- Methods and Generic Functions -- Interfaces I: Using C and Fortran -- Interfaces II: Between R...
Volledige tekst
Elektronisch E-boek
20
Inhoudsopgave: ... -- Functional Programs -- References -- Index....
Volledige tekst
Elektronisch E-boek