Εμφανίζονται 2.941 - 2.960 Αποτελέσματα από 3.410 για την αναζήτηση '"Programming languages"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 2941
    Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2942
    Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2943
    Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2944
    Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2945
    Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 2946
    Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 2947
    Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2948
    Guide to Scientific Computing in C++
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2949
    Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
    Έκδοση 2018
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 2950
    XML for Bioinformatics
    ανά Cerami, Ethan
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 2951
    Categories for Software Engineering
    ανά Fiadeiro, JosΓ© Luiz
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 2952
    Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Rosenblum, David S
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 2953
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Esparza, Javier
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 2954
    Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
    ανά Baldoni, Matteo
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 2955
    Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
    ανά Katz, Shmuel
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 2956
    Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
    ανά KΓΌhne, Thomas
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 2957
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
    ανά Ueda, Kazunori
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 2958
    ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
    ανά D’Hondt, Theo
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 2959
    Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
    ανά Grunske, Lars
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 2960
    Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
    ανά Blesa, Maria J.
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email