Εμφανίζονται 1.061 - 1.080 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,15δλ Περιορισμός αποτελεσμάτων
  1. 1061
    Timing Channels in Cryptography A Micro-Architectural Perspective /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1062
    Optimization in the Real World Toward Solving Real-World Optimization Problems /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…-Scale Supercomputers -- ppOpen-HPC: Open Source Infrastructure for Development andExecution of Large…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1063
    Interaction Control of Robot Manipulators Six degrees-of-freedom tasks /
    ανά Natale, Ciro, Natale, Ciro
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1064
    Strategic Organizational Learning Using System Dynamics for Innovation and Sustained Performance /
    ανά Gephart, Martha A., Marsick, Victoria J.
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1065
    Advances in accounting education teaching and curriculum innovations. Vol. 16 /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1066
    Real-Time Search for Learning Autonomous Agents
    ανά Ishida, Toru
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1067
    Advances in accounting education. teaching and curriculum innovations /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1068
    Advances in accounting education.
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  9. 1069
    Advances in accounting education teaching and curriculum innovations.
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1070
    626369.pdf
    Έκδοση 2017
    “… the German perspective, it details the planning and execution of the Germans and the diplomatic, political…”
  11. 1071
    1002615.pdf
    Έκδοση 2019
    “… be evaluated in the syntactic component, which is basically similar to the delayed execution of lexical rules…”
  12. 1072
    Επιλογή και Σύνθεση Υπηρεσιών Ιστού για Επιχειρηματικές Διαδικασίες: Εργαστηριακές Ασκήσεις
    “… Execution Language (BPEL) για δημιουργία ενορχηστρώσεων ΥΙ, κύκλος ζωής στιγμιότυπου διαδικασίας, το μοντέλο…”
    Λήψη πλήρους κειμένου
    7
  13. 1073
    Autonomous Tracked Robots in Planar Off-Road Conditions Modelling, Localization, and Motion Control /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1074
    Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Processors
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1075
    Patient-specific Hemodynamic Computations: Application to Personalized Diagnosis of Cardiovascular Pathologies
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1076
    Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… and Performance of Virtual and Execution Environments in FAIN -- Secure, Customizable, Many-to-One Communication…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1077
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1078
    Operational Semantics and Verification of Security Protocols
    ανά Cremers, Cas, Mauw, Sjouke
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1079
    Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Metamodel Specification -- Defining Object-Oriented Execution Semantics Using Graph Transformations -- Type…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1080
    Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Web Services -- Execution Semantics for Service Choreographies -- Analysis and Verification of Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email