Εμφανίζονται 2.021 - 2.040 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 2021
    Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
    Έκδοση 2009
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2022
    Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2023
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    Έκδοση 2008
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2024
    Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings /
    Έκδοση 2009
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2025
    Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
    ανά Parsons, Jeffrey
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 2026
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    ανά Boer, Frank S.
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 2027
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    ανά Barthe, Gilles
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 2028
    Beginning programming gor dummies /
    ανά Wang, Wally
    Έκδοση 2004
    Θέματα: “…Computer programming…”
    Βιβλίο
  9. 2029
    You can do it ! : A beginner's introduction to computer programming. /
    ανά Glassborow, Francis
    Έκδοση 2004
    Θέματα: “…Computer programming…”
    Βιβλίο
  10. 2030
    Programming microcomputers : with sample programs /
    ανά EVANS, STANLEY J.
    Έκδοση 1980
    Θέματα: “…Microcomputers programming…”
    Βιβλίο
  11. 2031
    Beginning programming for dummies /
    ανά Wallace, Wang
    Έκδοση 2007
    Θέματα: “…Computer programming…”
    Βιβλίο
  12. 2032
    Programming languages : principles and paradigms /
    ανά Tucker, Allen
    Έκδοση 2002
    Θέματα: “…PROGRAMMING LANGUAGES…”
    Βιβλίο
  13. 2033
    Techniques of program structure and design /
    ανά Yourdon, Edward
    Έκδοση 1975
    Θέματα: “…Computer programming…”
    Βιβλίο
  14. 2034
    Concepts, Techniques, and models of computer programming /
    ανά Van-Roy, Peter
    Έκδοση 2004
    Θέματα: “…Computer programming…”
    Βιβλίο
  15. 2035
    Programming language pragmatics /
    ανά Scott, Michael L.
    Έκδοση 2006
    Θέματα: “…PROGRAMMING LANGUAGES…”
    Βιβλίο
  16. 2036
    Theoritical Introduction to programming /
    ανά Mills, Bruce
    Έκδοση 2006
    Θέματα: “…Computer programming…”
    Βιβλίο
  17. 2037
    DevOps on the Microsoft Stack
    ανά de Kort, Wouter
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2038
    Migrating to Swift from Flash and ActionScript
    ανά Leseva Adams, Radoslava, Lesev, Hristo
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2039
    From Tracking Code to Analysis Generalised Courant-Snyder Theory for Any Accelerator Model /
    ανά Forest, Etienne
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2040
    Μια κλάση αλγόριθμων με την ιδιότητα της συζυγίας για τη βελτιστοποίηση μη γραμμικών συναρτήσεων χωρίς περιορισμούς
    ανά Αλεξόπουλος, Σεραφείμ
    Έκδοση 2009
    Θέματα: “…Programming (Mathematics)…”
    Λήψη πλήρους κειμένου
    Thesis
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email