Showing 1,761 - 1,780 results of 4,049 for search '"execution"', query time: 0.60s Refine Results
  1. 1761
    Handbook on the Neuropsychology of Traumatic Brain Injury
    Published 2014
    Table of Contents: “… -- 10.Rehabilitation of Attention and Executive Function Impairments -- 11.Social Communication…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1762
    Cloud Computing Using Oracle Application Express Develop Internet-Facing Business Applications Accessible Anywhere and Anytime /
    by Ahmed, Riaz, Ahmed, Riaz
    Published 2019
    Table of Contents: “… -- Chapter 28: Financial Statements 159 -- Chapter 29: Executive Dashboard 169 -- Chapter 30: Application…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1763
    Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… of Timed Automata -- SAT-Based Verification of LTL Formulas -- jmle: A Tool for Executing JML…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1764
    Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings /
    Published 2005
    Table of Contents: “… to Rule Based Monitoring and Execution of Service Level Agreements -- The OO jDREW Reference…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1765
    Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Instead of SAT Solvers -- Symbolic Execution with Abstract Subsumption Checking -- Abstract Matching…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1766
    Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Executable Specifications of General Attribute Grammars -- A Domain-Specific Language Approach to Protocol…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1767
    Practical Ruby Gems
    by Berube, David
    Published 2007
    Table of Contents: “… Web Applications with mongrel -- Transferring Files Securely with net-sftp -- Executing Commands…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1768
    Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
    Published 2005
    Table of Contents: “… Model with Links and Membranes -- Regular Presentations -- Executable Specifications of P Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1769
    Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1770
    Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings /
    Published 2005
    Table of Contents: “…2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing - -- Using TTCN-3…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1771
    Multidisciplinary Scheduling: Theory and Applications 1st International Conference, MISTA '03 Nottingham, UK, 13–15 August 2003 Selected Papers /
    Published 2005
    Table of Contents: “… Unit Execution Time Tasks on Two Parallel Machines with the Criteria of Makespan and Total Completion…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1772
    Advances in Digital Forensics IFIP International Conference on Digital Forensics, National Center for Forensic Science, Orlando, Florida, February 13–16, 2005 /
    Published 2005
    Table of Contents: “… to Reduce Search State Space -- In-Kernel Cryptographic Executable Verification.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1773
    The Neuropsychology of Attention
    by Cohen, Ronald A.
    Published 2014
    Table of Contents: “…: Current concepts and approaches -- Chapter 5:    Intention, Response Selection, and Executive-Attention…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1774
    One Legacy of Paul F. Brandwein Creating Scientists /
    by Fort, Deborah C.
    Published 2010
    Table of Contents: “… Expressed Within Ecologies of Achievement: Executive Summary -- The Surveys -- Remembrances from More than a…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1775
    The Work Situation of the Academic Profession in Europe: Findings of a Survey in Twelve Countries
    Published 2013
    Table of Contents: “… Governance to Executive University Management – Institutional Governance in the View of Academics in Europe…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1776
    Pharmaceutical Competitive Intelligence for the Regulatory Affairs Professional
    by Huml, Raymond A.
    Published 2012
    Table of Contents: “… States, this publication provides a useful adjunct for other pharmaceutical executives, especially those…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1777
    Scientific Astrophotography How Amateurs Can Generate and Use Professional Imaging Data /
    by Hubbell, Gerald R.
    Published 2013
    Table of Contents: “… is Greater than the Parts -- Chapter 10: Planning and Executing the AIS Data Acquisition Process -- Chapter…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1778
    Mechanics IUTAM USNC/TAM A History of People, Events, and Communities /
    by Herakovich, Carl T.
    Published 2016
    Table of Contents: “… -- Ii.Members -- Iii.Executive Committee -- Iv.Operations -- V.Voting -- Vi. Amendments Of The By-Laws…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1779
    E-Commerce and Web Technologies Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Processes in E-commerce Applications -- A Generic SLA Semantic Model for the Execution Management of e…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1780
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Published 2008
    Table of Contents: “… and Abstract Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search