Εμφανίζονται 2.061 - 2.080 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,94δλ Περιορισμός αποτελεσμάτων
  1. 2061
    Coordination Languages and Models Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Scripting Language and its Execution Environment -- Regular Papers -- A Coordination Model for Agents based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2062
    KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Experiments with an Agent-Oriented Reasoning System -- Learning to Execute Navigation Plans -- DiKe - A Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2063
    Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Correctness of Pipelined Machines -- Do You Trust Your Model Checker? -- Executable Protocol Specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2064
    Mobile Agents for Telecommunication Applications 4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents -- Generic Engineering Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2065
    Mathematical brain across the lifespan /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… variations during arithmetic problem solving: The role of executive control / T. Hinault, P. Lemaire…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  6. 2066
    Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Sequence Selection -- Executable Test Sequence for the Protocol Data Flow Property -- A Method to Generate…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 2067
    Grid Computing Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… of Blood Flow Visualization on the Grid: The FlowFish/GVK Approach -- A Migration Framework for Executing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2068
    Security and Protection in Information Processing Systems IFIP 18th World Computer Congress TC11 19th International Information Security Conference 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Install-Time Vaccination of Windows Executables to Defend Against Stack Smashing Attacks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2069
    Leadership lessons from compelling contexts
    Έκδοση 2016
    Πίνακας περιεχομένων: “… creative industries: the case of producers, directors, and executives in film and television / Susan Murphy…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 2070
    The political economy of Chinese finance
    Έκδοση 2016
    Πίνακας περιεχομένων: “… state-stewardship view on executive compensation / Hao Liang, Luc Renneboog, Sunny Li Sun -- Netizens…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 2071
    IUTAM Symposium on Vibration Control of Nonlinear Mechanisms and Structures Proceedings of the IUTAM Symposium held in Munich, Germany, 18–22 July 2005 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Overhead Cranes Executing a Prescribed Load Trajectory -- Hoisting Manipulation by Modal Coupling Control…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 2072
    Leadership of Chinese Private Enterprises Insights and Interviews /
    ανά Tsui, Anne S., Zhang, Yingying, Xiao-Ping, Chen
    Έκδοση 2017
    Πίνακας περιεχομένων: “… on Chinese Top Executives -- Leaders in Financial Services Industry -- Chapter 3: Building a Company…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 2073
    Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Jess Rule Engines -- A Rule-Based Notation to Specify Executable Electronic Contracts -- Rule…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 2074
    Connecting organizational silos : taking knowledge flow management to the next level with social media /
    ανά Leistner, Frank
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Early; Go Viral; Freedom within Borders: The Power of Guidelines; Training Portfolio; Pulse; Executive…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  15. 2075
    Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Approach -- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 2076
    Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Isomorphism -- Technical Session-14: System-3 (S-3) -- Detection of Polymorphic Viruses in Windows Executables…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 2077
    Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Compliant Business Rules to Executable FCL Rules -- Rules, Semantic Technology, and Cross-Industry Standards…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2078
    Architecture of Computing Systems - ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…-efficient Execution of Convolutional Neural Networks -- An energy efficient embedded processor for hard real…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2079
    Key Aspects of German Employment and Labour Law
    Έκδοση 2018
    Πίνακας περιεχομένων: “…1 Executive Summary: German Employment and Labour Law by Jens Kirchner and Sascha Morgenroth…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2080
    Sustainability Issues for the Deep Foundations Proceedings of the 2nd GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2018 - The Official International Congress of the Soil-Structure Interaction Group in Egypt (SSIGE) /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… stiffness in inhomogeneous soil -- 16.Indirect in-situ tests during the execution of deep foundations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email