Εμφανίζονται 1 - 20 Αποτελέσματα από 1.985 για την αναζήτηση '', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    25 Years of Model Checking History, Achievements, Perspectives /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Abstract Computing Machines A Lambda Calculus Perspective /
    ανά Kluge, W.
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Abstraction, Refinement and Proof for Probabilistic Systems
    ανά McIver, Annabelle, Morgan, Carroll
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Ada 2005 Rationale The Language, The Standard Libraries /
    ανά Barnes, John
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Ada 2012 Rationale The Language, The Standard Libraries /
    ανά Barnes, John
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Advanced Finite Element Simulation with MSC Marc Application of User Subroutines /
    ανά Javanbakht, Zia, Öchsner, Andreas
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email