Εμφανίζονται 1.661 - 1.680 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 1,28δλ Περιορισμός αποτελεσμάτων
  1. 1661
    Modular Programming Languages Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… development: Evolution of the Gardens Point compiler project -- Executable assertions and separate compilation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1662
    Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Method for Task Parallelism -- SPMD Execution in the Presence of Dynamic Data Structures -- Supporting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1663
    Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… to Software -- Multi-view Modeling of Software Systems -- An Executable Specification Language Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1664
    Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1665
    Corporate governance
    Έκδοση 2004
    Πίνακας περιεχομένων: “… in executive stock option grants / Paul Dawson -- Behavioural aspects of corporate governance / Oliver Marnet…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1666
    Population health management in health care organizations
    Έκδοση 2014
    Πίνακας περιεχομένων: “….] -- Answering the call for integrating population health : insights from health system executives / Erik Carlton…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1667
    Advances in mergers and acquisitions.
    Έκδοση 2012
    Πίνακας περιεχομένων: “… standing and market discipline : a complexity theory perspective of post-merger and acquisition executive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1668
    Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Home Devices.-Secure Devices and Execution Environment -- Automatic Top-down Role Engineering Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1669
    Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…-Environment Simulation Models -- Transformation of Conceptual Models to Executable High Level Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1670
    Governance and performance in public and non-profit organizations
    Έκδοση 2016
    Πίνακας περιεχομένων: “… in the board-executive director relationship / Gregory Bott -- Fostering orientation to performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1671
    Service Business Model Innovation in Healthcare and Hospital Management Models, Strategies, Tools /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Modeling directly executable processes for healthcare professionals with XMDD -- Chapter 13 Lean Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1672
    Attention Deficit Hyperactivity Disorder From Genes to Patients /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Attention Deficit Hyperactivity Disorder in School-Aged Children -- Executive Function…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1673
    Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1674
    Optimization, Control, and Applications of Stochastic Systems In Honor of Onésimo Hernández-Lerma /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- 8 A Constrained Optimization Problem with Applications to Constrained -- 9 Optimal Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1675
    Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1676
    Computer-Mediated Social Networking First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… - An Executive Summary of the Conference and the Future Research Directions.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1677
    Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Network Architecture, A Starting Point -- Mobility and Remote-Code Execution -- UCPA Workshop -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1678
    Digital Business First Iternational ICST Conference, DigiBiz 2009, London, UK, June 17-19, 2009, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Recommender for Active Preference Estimate -- An MDA Based Environment for Modelling and Executing Business…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1679
    Citation Analysis in Research Evaluation
    ανά Moed, Henk F.
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Executive Summary -- General Introduction and Main Conclusions -- General Introduction -- Basic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1680
    Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Middleware Architecture for eBusiness Process Execution -- Experience with Lightweight Distributed Component…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email