1
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...
View full text
Electronic eBook
3
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
4
by Sestoft, Peter., Sestoft, Peter.
Published 2012
Table of Contents: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
View full text
Electronic eBook
6
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Data Structures -- Maximal Termination -- Usable Rules for Context-Sensitive Rewrite Systems...
View full text
Electronic eBook
10
by Dewson, Robin., Dewson, Robin.
Published 2008
Table of Contents: ... Procedures and Functions -- T-SQL Essentials -- Advanced T-SQL -- Triggers -- SQL Server 2008 Reporting...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Proofs in Isabelle/HOL -- Formalising Generalised Substitutions -- Extracting Purely Functional Contents...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...
View full text
Electronic eBook
15
by Wise, Cheryl D., Wise, Cheryl D.
Published 2007
Table of Contents: ... Website -- Dynamic Web Templates -- Forms -- Legal and Usability Issues -- Master Pages -- Beyond...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... for Usability of Sonification Applications -- Reflections on Tasks and Activities in Modeling -- Non-functional...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Models Using Radial Basis Function Neural Networks -- Towards an Early Usability Evaluation for Web...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... for Usability Evaluation -- Context of Use -- A Domain Specific Language for Contextual Design -- An MDE...
View full text
Electronic eBook
19
Published 2005
Table of Contents: .... Insights from Assessments of Usability Engineering Processes -- Mobile and Wireless Applications -- Using...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
View full text
Electronic eBook