Εμφανίζονται 821 - 840 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 821
    Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 822
    Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 823
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 824
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    Έκδοση 2007
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 825
    Introduction to Assembly Language Programming For Pentium and RISC Processors /
    ανά Dandamudi, Sivarama P.
    Έκδοση 2005
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 826
    Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
    Έκδοση 2012
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 827
    Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
    Έκδοση 1992
    Θέματα: “…Constraint and logic programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 828
    NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 829
    Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 830
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 831
    Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
    Έκδοση 2009
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 832
    Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
    Έκδοση 2009
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 833
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    Έκδοση 2008
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 834
    NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 835
    Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
    Έκδοση 2009
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 836
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 837
    Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 838
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 839
    Categories for Software Engineering
    ανά Fiadeiro, José Luiz
    Έκδοση 2005
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 840
    Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
    Έκδοση 2009
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email