1
Table of Contents: ... Interface -- 8. Nonlinear Programming with Pyomo -- 9. Stochastic Programming Extensions -- 10. Scripting...
View full text
Electronic eBook
2
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
3
Published 2007
Table of Contents: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
View full text
Electronic eBook
4
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
5
Published 2007
Table of Contents: ... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
View full text
Electronic eBook
12
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
View full text
Electronic eBook
14
by Brooks, David R., Brooks, David R.
Published 2011
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ..., LCBB and kp Methods -- Analysis of Silicon Dioxide Interface Transition Region in MOS Structures...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Quantization Parameters for Mode Decision in Scalable Extension of H.264/AVC Video Codec -- A Metadata Model...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Discernable Source of Emergent Game Play and the Process-Oriented Method -- Re-envisioning the Museum...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Algorithm for Edge Detection in Fluorescent Cell Images -- A Non-rigid Multimodal Image Registration Method...
View full text
Electronic eBook