Εμφανίζονται 4.461 - 4.480 Αποτελέσματα από 5.062 για την αναζήτηση '"Programming languages"', χρόνος αναζήτησης: 0,15δλ Περιορισμός αποτελεσμάτων
  1. 4461
    Έλεγχος βασισμένος σε επιφανειακά ηλεκτρομυογραφήματα : μια προσέγγιση με την χρήση βαθιάς μάθησης
    ανά Κυριαζής, Ιωάννης
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  2. 4462
    Το διαδίκτυο και οι υπηρεσίες του
    “… - teleconference)<br/>• web programming languages<br/>• The participative web and services (blogs, multimedia…”
    Λήψη πλήρους κειμένου
    7
  3. 4463
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4464
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 4465
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 4466
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Verification of a Type Flaw Attack on a Security Protocol Using Object-Z -- Using B as a High Level Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 4467
    Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Programming languages and artificial general intelligence -- From Specialized Syntax to General Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 4468
    Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 4469
    Intelligent Agents and Multi-Agent Systems 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 4470
    Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 4471
    Εκπαίδευση και έλεγχος ρομποτικού βραχίονα με επίδειξη και χρήση μηχανικής όρασης
    Λήψη πλήρους κειμένου
  12. 4472
    Τεχνικές μεταγλωττιστών για εφαρμογές πολυμέσων
    ανά Σπουρλής, Γεώργιος
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Thesis
  13. 4473
    Κατασκευή συστήματος χαμηλού κόστους συλλογής περιβαλλοντικών δεδομένων και παρουσίασή τους σε ιστοσελίδα
    ανά Μπάρλος, Παναγιώτης
    Έκδοση 2016
    Λήψη πλήρους κειμένου
    Thesis
  14. 4474
    Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 4475
    Innovations in Computing Sciences and Software Engineering
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 4476
    Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 4477
    Multimodal Signals: Cognitive and Algorithmic Issues COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 4478
    Structural Dynamics Theory and Computation /
    ανά Paz, Mario, Paz, Mario, Kim, Young Hoon
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 4479
    Handbook of Model Checking
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 4480
    Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email