1
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
View full text
Electronic eBook
5
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... With Charge-Density Waves -- Electronic Structure of Strongly Correlated Materials: Towards a First Principles...
View full text
Electronic eBook
7
by West, Adrian W., West, Adrian W.
Published 2013
Subjects: ...Data Structures and Information Theory. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
8
Table of Contents: ... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...
View full text
Electronic eBook
9
Table of Contents: ... of Commands in ANSYS® -- Linear Structural Analysis -- Linear Analysis of Field Problems -- Nonlinear...
View full text
Electronic eBook
10
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Computing Optimal Coalition Structures in Non-linear Logistics Domains -- Collaborative Systems -- Moral...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Fundamental Concepts for the Structuring of Functionality into Modular Parts....
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Function Method and the Metal-Insulator Transition at E ? 0 -- Optimizing Simulated Annealing Schedules...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Engineering -- Collaborative Context Prediction -- Ranking Cryptographic Algorithms -- Part III Methods...
View full text
Electronic eBook