Εμφανίζονται 1.841 - 1.860 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,82δλ Περιορισμός αποτελεσμάτων
  1. 1841
    9782800413037.pdf
    Έκδοση 2019
    “…, en passant par l’exécution d’Egmont et de Hornes, les affrontements armés entre le duc d’Albe et…”
  2. 1842
    Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…: The Coordination Viewpoint -- Using Multi-context Systems to Engineer Executable Agents -- Structuring BDI Agents…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1843
    SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Representation of DiCons -- Some Pathological Message Sequence Charts, and How to Detect Them -- An Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1844
    ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Formal Methods for Industrial Products -- An Execution Architecture for GSL -- A Computation Model for Z…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1845
    Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    ανά Wilhelm, Reinhard, Wilhelm, Reinhard
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Scheduling -- Register Saturation in Superscalar and VLIW Codes -- Parsing -- Directly-Executable Earley…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1846
    Programming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Executing Verified Compiler Specification -- Controlling and Optimizing the Usage of One Resource…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1847
    Languages and Compilers for Parallel Computing 11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Object-Oriented Implementation of Data-Parallelism on Global Networks -- Fortran -- Optimized Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1848
    Database Theory - ICDT '97 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… formal foundation for distributed workflow execution based on state charts -- Incorporating user…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1849
    Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Specifications -- Proving Deadlock Freedom in Component-Based Programming -- UML -- A Real-Time Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1850
    Web Services European Conference, ECOWS 2004, Erfurt, Germany, September 27-30, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Integration Supporting Custom Query Pruning and Ranking -- Specification and Execution of Declarative Policies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1851
    Objects, Components, Architectures, Services, and Applications for a Networked World International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… for Spontaneously Networked Devices with Limited Resources -- Serialization of Distributed Execution-State in Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1852
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- High-level execution time analysis -- A sound and complete proof system for probabilistic processes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1853
    Cloud Computing Using Oracle Application Express
    ανά Ahmed, Riaz
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Chapter 28: Financial Statements 159 -- Chapter 29: Executive Dashboard 169 -- Chapter 30: Application…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1854
    Advances in global leadership.
    Έκδοση 2011
    Πίνακας περιεχομένων: “…, Ying Wang -- Human developmental and cultural perspectives on coaching mid-career executives in China…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1855
    Embodiment and epigenesis : theoretical and methodological issues in understanding the role of biology within the relational developmental system.
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Three -- A Developmental Systems Approach to Executive Function / Ulrich Müller, Lesley Baker, Emanuela…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  16. 1856
    Applications of management science.
    Έκδοση 2013
    Πίνακας περιεχομένων: “…A multiple objective approach to assigning classes for an executive MBA program / Ronald K…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1857
    Transparency and governance in a global world
    Έκδοση 2012
    Πίνακας περιεχομένων: “… in the sensitivity of executive bonus compensation to earnings and returns in high-technology firms / Sung S. Kwon…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1858
    Advances in management accounting.
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in an executive compensation scenario / Arron Scott Fleming -- Strategy, structure, performance management…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1859
    Leading small and mid-sized urban school districts
    Έκδοση 2015
    Πίνακας περιεχομένων: “… school districts / Raleta Summers, Ian Sutherland -- Executive coaching of school leaders in mid-sized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1860
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Talk -- DIVINE: DIscovering Variables IN Executables -- Session 1 -- Verifying Compensating…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email