Εμφανίζονται 901 - 920 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 901
    Μελέτη κρυπτογραφικών τεχνικών για τη διατύπωση ασφαλών ερωτημάτων σε μια βάση μεγάλου όγκου δεδομένων
    ανά Γκορίτσας, Βασίλειος
    Έκδοση 2019
    Λήψη πλήρους κειμένου
    Thesis
  2. 902
    Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution -- Mining -- A Fresh…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 903
    Practical E-manufacturing and supply chain management
    ανά Greeff, Gerhard
    Έκδοση 2004
    An electronic book accessible through the World Wide Web; click for information
    An electronic book accessible through the World Wide Web; click for information
    Ηλεκτρονική πηγή Βιβλίο
  4. 904
    Intelligent Distributed Computing III Proceedings of the 3rd International Symposium on Intelligent Distributed Computing – IDC 2009, Ayia Napa, Cyprus,October 2009 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Processing for Earth Observation in Distributed Environments -- Regular Papers -- A Protocol for Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 905
    Intelligent Robotic Systems Design, Planning, and Control /
    ανά Jacak, Witold
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Systems Using Neural Networks and Fuzzy Logic -- The Execution Level of Robotic Agent Action…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 906
    Emerging conceptions of work, management and the labor market /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… executive managers at large U.S. firms -- About the editor -- Index.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 907
    Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 908
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Algorithmic Equality in Heyting Arithmetic Modulo -- CoqJVM: An Executable Specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 909
    Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Deployment of Virtual Execution Environment in Grid Systems -- A Dolev-Yao Model for Zero Knowledge -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 910
    Pro Windows PowerShell
    ανά Deshev, Hristo
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Objects and Object Types -- Controlling Execution Flow -- The Object Pipeline -- Working…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 911
    Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Execution on a Mobile Cloud -- An Interaction Balance Based Approach for Autonomic Performance Management…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 912
    The Massachusetts General Hospital Guide to Learning Disabilities Assessing Learning Needs of Children and Adolescents /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…/Hyperactivity Disorder and Executive Dysfunction -- Chapter9. Autism Spectrum Disorders -- Chapter10. Mood…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 913
    Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21-24, 2018, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Enterprise Strategy: An Executive Management View -- Automation of Knowledge-Based Shared Services…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 914
    The A-Z of the PhD Trajectory A Practical Guide for a Successful Journey /
    ανά Lantsoght, Eva O. L., Lantsoght, Eva O. L.
    Έκδοση 2018
    Πίνακας περιεχομένων: “… literature review -- 5. Formulating your research question -- 6. Preparing and executing experiments -- 7…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 915
    Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Execution of Social Simulation Models in a Grid Environment -- Towards the Automatic Identification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 916
    Aνάπτυξη συστήματος μελέτης μηχανικών ιδιοτήτων μαλακών βιολογικών υλικών κυλινδρικού σχήματος
    ανά Μαρμαράς, Αναστάσιος
    Έκδοση 2007
    Λήψη πλήρους κειμένου
    Thesis
  17. 917
    A language that is an amalgam of propositional dynamic logic and description logic
    ανά Τσούτσα, Παρασκευή
    Έκδοση 2014
    “… the knowledge is derived during the execution of semantic web services, which they are modeled in Semantic…”
    Λήψη πλήρους κειμένου
    Technical Report
  18. 918
    A Practical Guide to TPM 2.0 Using the New Trusted Platform Module in the New Age of Security /
    ανά Arthur, Will, Challener, David, Goldman, Kenneth
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 919
    Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 920
    10.1007_978-3-642-36904-9.pdf
    Έκδοση 2020
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email