Search Results - computer program testing chapter processing.

Search alternatives:

Refine Results
  1. 281
    Cover Image
    Published 1978
    Table of Contents: “...BOUNDS; V. ELIMINATION TESTS; VI. COMPUTATIONAL CONSIDERATIONS; ACKNOWLEDGEMENTS; REFERENCES; PART 2: APPLICATIONS; CHAPTER 7. ...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 282
    Cover Image
    Published 1980
    Table of Contents: “...Chapter 7. comparing mathematical programming algorithms based on lagrangian functions for solving optimal control problems1. introduction; 2. optimal control of a dynamic system; 3. optimal control as a nonlinear program; 4. algorithms based on lagrangian functions; 5. test problem; conclusions; acknowledgements; references; appendix; chapter 8. computer aided design via optimization; introduction; algorithms for design problems with infinite dimensional constraints; algorithms for design problems with infinite dimensional constraints and tuning; control design; acknowledgement; references....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 283
    Cover Image
    by Wysota, Witold, Haas, Lorenz
    Published 2016
    Connect to this electronic resource
    eBook
  4. 284
    Cover Image
    by Wargo, John
    Published 2015
    Connect to this electronic resource
    eBook
  5. 285
    Cover Image
    by Wargo, John
    Published 2013
    Connect to this electronic resource
    eBook
  6. 286
    Cover Image
    Connect to this electronic resource
    eBook
  7. 287
    Cover Image
    Connect to the full text of this electronic book
    eBook
  8. 288
    Cover Image
    by Feuerstein, Steven, Odewahn, Andrew
    Published 2000
    Connect to this electronic resource
    eBook
  9. 289
    Cover Image
    Published 1992
    Table of Contents: “...A CASE STUDY IN THE ANALYSIS OF SAFETY REQUIREMENTS; INTRODUCTION; BACKGROUND; REQUIREMENTS ANALYSIS; SAFETY CONSIDERATIONS; A MODEL OF SLOW-SCAN; CHECKING SAFETY PROPERTIES; CONCLUSIONS; REFERENCES; Chapter 2. Computer-Aided Specification and Verification of Process Control; Abstract; 1 Formal Development Process; 2 An Example and its FormalRequirements; 3 Design Specification, Verification, and Testing....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 290
    Cover Image
    by Moskowitz, Howard R.
    Published 2003
    Connect to the full text of this electronic book
    eBook
  11. 291
    Cover Image
    by Metheny, Matthew
    Published 2017
    Connect to this electronic resource
    eBook
  12. 292
    Cover Image
    by Bestaoui Sebbane, Yasmina
    Published 2020
    Connect to the full text of this electronic book
    eBook
  13. 293
    Cover Image
    by Grami, Ali
    Published 2019
    Connect to this electronic resource
    eBook
  14. 294
    Cover Image
    by Rose, Robert F.
    Published 2022
    Connect to the full text of this electronic book
    eBook
  15. 295
    Cover Image
    Published 1990
    Table of Contents: “...; 7 SUMMARY; ACKNOWLEDGEMENTS; REFERENCES; CHAPTER 5. HUMAN-COMPUTER INTERACTION: LESSONSFROM HUMAN-HUMAN COMMUNICATION; 1 THE APPLICABILITY OF THE HUMAN-HUMANCOMMUNICATION MODEL; 2 THE LANGUAGE AND THE MODE OF INTERACTION; 3 COMMUNICATION COMPETENCE AND PROCESSINGSTRATEGIES; REFERENCES; SECTION 2: LEARNING PROCESSES; CHAPTER 6. ...”
    Connect to the full text of this electronic book
    eBook
  16. 296
    Cover Image
    Published 2020
    Connect to the full text of this electronic book
    eBook
  17. 297
    Cover Image
    Published 2022
    Connect to the full text of this electronic book
    eBook
  18. 298
    Cover Image
    by Van Verth, James M.
    Published 2015
    Connect to the full text of this electronic book
    eBook
  19. 299
    Cover Image
    Published 2019
    Connect to the full text of this electronic book
    eBook
  20. 300
    Cover Image
    Connect to the full text of this electronic book
    eBook

Search Tools: