Εμφανίζονται 1.761 - 1.780 Αποτελέσματα από 5.319 για την αναζήτηση '"compilers"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 1761
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1762
    Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1763
    Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1764
    Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1765
    Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1766
    Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1767
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1768
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1769
    Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1770
    Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1771
    Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1772
    Introduction to PHP for Scientists and Engineers Beyond JavaScript /
    ανά Brooks, David R.
    Έκδοση 2008
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1773
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1774
    Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Permissions -- Mechanized Semantics for Compiler Verification.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1775
    Transactions on Aspect-Oriented Software Development IX
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1776
    Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1777
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1778
    Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
    Έκδοση 2008
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1779
    Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
    Έκδοση 2008
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1780
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    Έκδοση 2008
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email