Εμφανίζονται 4.401 - 4.420 Αποτελέσματα από 5.062 για την αναζήτηση '"Programming languages"', χρόνος αναζήτησης: 0,35δλ Περιορισμός αποτελεσμάτων
  1. 4401
    Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /
    ανά O'Regan, Gerard
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 4402
    Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 4403
    Software Product Lines in Action The Best Industrial Practice in Product Line Engineering /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4404
    Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 4405
    Beginning Databases with PostgreSQL From Novice to Professional /
    ανά Matthew, Neil, Stones, Richard
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 4406
    2020_Book_ComputerAidedVerification.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  7. 4407
    Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 4408
    Applications and Innovations in Intelligent Systems XIV Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Open Learner Models -- Adding question answering to an e-tutor for programming languages -- Speech…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 4409
    1007322.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  10. 4410
    1007058.pdf
    Έκδοση 2020
    “… in demographic outcomes. The calculations are easily and accurately implemented in matrix-oriented programming…”
    Λήψη πλήρους κειμένου
  11. 4411
    Μια σύγχρονη προσέγγιση στη γλώσσα C
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    1
  12. 4412
    Software architecture perspectives on an emerging disciplne
    ανά Shaw, Mary, Shaw, Mary, Garlan, David, Garlan, David
    Έκδοση 1996
    Πίνακας περιεχομένων: “…7.3 adding Implicit Invoication to Traditional Programming Languages…”
    Βιβλίο
  13. 4413
    Mathematics Education and Language Diversity The 21st ICMI Study /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…-language diversity in mathematics teacher education programs -- Language diversity and new media: issues…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 4414
    Hybrid Systems IV
    Έκδοση 1997
    Πίνακας περιεχομένων: “… and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 4415
    System Specification and Design Languages Selected Contributions from FDL 2010 /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Specifications in CλaSH -- SyReC: A Programming Language for Synthesis of Reversible Circuits -- Logical Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 4416
    Emergent Web Intelligence: Advanced Semantic Technologies
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Information Systems and Formal Semantics of Programming Languages -- Applications and Case Studies -- Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 4417
    Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… for functional programming languages -- An extension of models of Axiomatic Domain Theory to models of Synthetic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 4418
    Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Structures and Their Complexity -- The Graph Programming Language GP -- Canonical Reduction Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 4419
    Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Multi-Agent Systems -- SmartResource Platform and Semantic Agent Programming Language (S-APL) -- Multi…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 4420
    Foundations and Applications of Mis A Model Theory Approach /
    ανά Takahara, Yasuhiko, Liu, Yongmei
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email