Showing 4,461 - 4,480 results of 5,062 for search '"programming languages"', query time: 0.41s Refine Results
  1. 4461
    Έλεγχος βασισμένος σε επιφανειακά ηλεκτρομυογραφήματα : μια προσέγγιση με την χρήση βαθιάς μάθησης
    Get full text
  2. 4462
    Το διαδίκτυο και οι υπηρεσίες του
    “… - teleconference)<br/>• web programming languages<br/>• The participative web and services (blogs, multimedia…”
    Get full text
    7
  3. 4463
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  5. 4465
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Published 2009
    Table of Contents: “… and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2005
    Table of Contents: “… 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
    Electronic eBook
  7. 4467
    Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
    Published 2015
    Table of Contents: “… -- Programming languages and artificial general intelligence -- From Specialized Syntax to General Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 4468
    Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  10. 4470
    Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  11. 4471
    Εκπαίδευση και έλεγχος ρομποτικού βραχίονα με επίδειξη και χρήση μηχανικής όρασης
    Get full text
  12. 4472
    Τεχνικές μεταγλωττιστών για εφαρμογές πολυμέσων
    Get full text
    Thesis
  13. 4473
    Κατασκευή συστήματος χαμηλού κόστους συλλογής περιβαλλοντικών δεδομένων και παρουσίασή τους σε ιστοσελίδα
    Get full text
    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 /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  15. 4475
    Innovations in Computing Sciences and Software Engineering
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  16. 4476
    Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  18. 4478
    Structural Dynamics Theory and Computation /
    by Paz, Mario, Paz, Mario, Kim, Young Hoon
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  19. 4479
    Handbook of Model Checking
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  20. 4480
    Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search