Εμφανίζονται 1.501 - 1.520 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 1501
    Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… and Tabled Execution -- Possible Worlds Semantics for Probabilistic Logic Programs -- Limiting Resolution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1502
    Business Process Management 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for the Development and Execution of Horizontal Protocols in Open BPM Systems -- History-Based Joins: Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1503
    The Wiley handbook of psychology, technology and society /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…; Part II Children, Teens, andTechnology; Chapter 7 Executive Function in Risky Online Behaviors…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  4. 1504
    Operational excellence : journey to creating sustainable value /
    ανά Mitchell, John S., 1937-
    Έκδοση 2015
    Πίνακας περιεχομένων: “… EXCELLENCE; WHAT YOU SHOULD TAKE AWAY; CHAPTER 7: LEADERSHIP, VISION, STRATEGY; EXECUTIVE CHAMPION; STEERING…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  5. 1505
    Business Information Systems Workshops BIS 2010 International Workshops, Berlin, Germany, May 3-5, 2010. Revised Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Projects -- Self-adapting Intelligent Business Processes Execution Analysis -- MDA Compatible Knowledge…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1506
    Risk communication : a handbook for communicating environmental, safety, and health risks /
    ανά Lundgren, Regina E., 1959-
    Έκδοση 2013
    Πίνακας περιεχομένων: “…, and Liability Act; Emergency Planning and Community Right-to-Know Act; Executive Order 12898, Environmental…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 1507
    Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Foundation for an Organizations Executable Rules -- Rule Systems on the Web -- Challenges for Rule Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1508
    Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Knowledge in Executable Acceptance Test Driven Development -- An Empirical Study on the TDD Conformance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1509
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM -- Tools -- Retrospect…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1510
    OpenMP Shared Memory Parallel Programming International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Executions in OpenMP -- CableS : Thread Control and Memory System Extensions for Shared Virtual Memory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1511
    Technologies for E-Services Third International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and Execution by Rule Inference -- Trust-Based Security Model and Enforcement Mechanism for Web Service…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1512
    Research Issues in Structured and Semistructured Database Programming 7th International Workshop on Database Programming Languages, DBPL'99 Kinloch Rannoch, UK, September 1-3, 1999 Revised Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… in PJama -- A Framework for Optimizing Distributed Workflow Executions -- Typing and Querying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1513
    Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Efficient Reasoning about Executable Specifications in Coq -- Verified Bytecode Model Checkers -- The 5…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1514
    Annual review of health care management strategy and policy perspectives on reforming health systems /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… in strategic decision making : physician executives in the Canadian health care context / Shazia Karmali…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1515
    Lectures on Concurrency and Petri Nets Advances in Petri Nets /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1516
    RILEM Technical Committee 195-DTD Recommendation for Test Methods for AD and TD of Early Age Concrete Round Robin Documentation Report: Program, Test Results and Statistical Evaluation /
    Πίνακας περιεχομένων: “… -- 4, Round-Robin tests, plan and execution -- 4.1 Materials -- 4.2 Mortar tests -- 4.3 Cement paste…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1517
    Advances in Data and Information Sciences Proceedings of ICDIS 2017, Volume 2 /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Replica Control Following 1SR in DRTDBS Through Best Case of Transaction Execution -- FPGA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1518
    Advances in Enterprise Engineering XI 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Models -- A DEMO Machine - A Formal Foundation for Execution of DEMO Models -- Standards and Laws…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1519
    Exploring Dynamic Mentoring Models in India
    Έκδοση 2018
    Πίνακας περιεχομένων: “…: The Challenge of an Executive Coach; Ajay Goyal.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1520
    Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email