Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface method » interface methods, interphase method, interval method
method program » methods program, method programs, method programmed
tutorial https » tutorial atas, tutorial attacks
code tutorial » model tutorial, modes tutorial, models tutorial
program code » program model, program models, program c
interface method » interface methods, interphase method, interval method
method program » methods program, method programs, method programmed
tutorial https » tutorial atas, tutorial attacks
code tutorial » model tutorial, modes tutorial, models tutorial
program code » program model, program models, program c
1
Published 2008
Table of Contents:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...?! On Scaling Performance Measurement and Analysis Tools for Parallel Programming -- Tutorials -- Using MPI-2: A...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”View full text
Electronic
eBook
5
Table of Contents:
“... of BCI2000 -- User Tutorials -- Advanced Usage -- Programming Reference -- Exercises -- Frequently Asked...”
View full text
View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“....- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”View full text
Electronic
eBook
8
Table of Contents:
“... Gradient -- Axisymmetry -- Interface and Multizone -- Error Estimation and Adaptivity -- Fracture Mechanics...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Research Papers -- Extending Refactoring Guidelines to Perform Client and Test Code Adaptation...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Techniques for Ease and Clarity -- Model Driven Development with Mechatronic UML -- Tutorials -- Cognitive...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... to Conduct Marker-Assisted Selection Programs -- Genomic Selection in Plant Breeding -- Simulated Breeding...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...-Oriented Software Development: A Short Tutorial on Feature-Oriented Programming, Virtual Separation...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...: Distributed Orchestration of User Interfaces -- Self-adjusting Recommendations for People-Driven Ad-Hoc...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”View full text
Electronic
eBook
16
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Interfaces between Proteins -- Modeling Elastic Vessels with the LBGK Method in Three Dimensions -- Usability...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Design of Visual Analytics Methods -- User-Centered Design of Preference Elicitation Interfaces...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Chess Variant for Gaming AI -- Systematic Review of Game Design Methods and Tools -- Augmented Home...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Keynotes -- From Clicks to Touches: Enabling Face-to-Face Shared Interface -- Innovating eLearning...”View full text
Electronic
eBook