Εμφανίζονται 1.821 - 1.840 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 1821
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-Based Specifications of Evolvable Component Systems -- A Tool Which Mines Partial Execution Traces…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1822
    Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1823
    Educational Assessment in the 21st Century Connecting Theory and Practice /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1824
    Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Keynote Presentations -- Quantitative Evaluation of Service Dependability in Shared Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1825
    Smart Business Networks
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Execution of Smart Business Networks -- Marketing Translation Services Internationally: Exploiting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1826
    Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… to Compute Stable Models by Pseudoboolean Solvers -- KMonitor– A Tool for Monitoring Plan Execution in Action…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1827
    Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1828
    Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Systems -- A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1829
    Operations in an Omnichannel World
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1830
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Circumscription to Disjunctive Logic Programming -- Representation and Execution of a Graph Grammar in Prolog…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1831
    Information and Communications Security 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Execution -- Detection and Diagnosis of Control Interception -- BIOS Security Analysis and a Kind of Trusted…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1832
    Laboratory Exercises for Sensory Evaluation
    ανά Lawless, Harry T.
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1833
    Distributed and Parallel Systems Cluster and Grid Computing /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Grid Systems -- Glogin - Interactive Connectivity for the Grid -- Parallel Program Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1834
    Introduction to Variance Estimation
    ανά Wolter, Kirk M.
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1835
    Genetic Programming Theory and Practice IV
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Efficient Markov Chain Model of Machine Code Program Execution and Halting -- A Re-Examination of a Real…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1836
    Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1837
    Semantic Multimedia 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009 Graz, Austria, December 2-4, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Execution of B2B Contracts on Multimedia Content -- A Conceptual Model for Publishing Multimedia Content…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1838
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Theorem Prover for a Logic with Parallel Execution -- Rough Diamonds -- Communicating Formal Proofs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1839
    Human Haptic Perception: Basics and Applications
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1840
    Clean Soil and Safe Water
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Groundwater and Soil Using Nanocarbon-Polymer Composition -- Aspects for Execution and Finalization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email