Showing 1,341 - 1,360 results of 9,010 for search '"Program"', query time: 0.12s Refine Results
  1. 1341
    Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
    Published 2012
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1342
    Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1343
    ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1344
    Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
    Published 2012
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1345
    ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1346
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1347
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1348
    Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1349
    ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1350
    Διαδικαστικός και Δηλωτικός Προγραμματισμός
    Subjects: “…Logic Programming…”
    Get full text
    7
  11. 1351
    Λογική Πρώτης Τάξης
    Subjects: “…Logic Programming…”
    Get full text
    7
  12. 1352
    Τα Εσωτερικά του Συναρτησιακού Προγραμματισμού
    Subjects: “…Logic Programming…”
    Get full text
    7
  13. 1353
    Η Γλώσσα Συναρτησιακού Προγραμματισμού Haskell - Τα Βασικά
    Subjects: “…Logic Programming…”
    Get full text
    7
  14. 1354
    Λογικός Προγραμματισμός - Υπολογισμός με Λογική
    Subjects: “…Logic Programming…”
    Get full text
    7
  15. 1355
    Συναρτησιακός Προγραμματισμός - Υπολογισμός με Συναρτήσεις
    Subjects: “…Logic Programming…”
    Get full text
    7
  16. 1356
    Σημασιολογία Λογικών Προγραμμάτων
    Subjects: “…Logic Programming…”
    Get full text
    7
  17. 1357
    Λογικός Προγραμματισμός με Περιορισμούς
    Subjects: “…Logic Programming…”
    Get full text
    7
  18. 1358
    Η Γλώσσα Λογικού Προγραμματισμού Prolog - Τα Βασικά
    Subjects: “…Logic Programming…”
    Get full text
    7
  19. 1359
    Ενσωματωμένες Δυνατότητες και Επεκτάσεις της Prolog
    Subjects: “…Logic Programming…”
    Get full text
    7
  20. 1360
    Εκφραστικότερες Δυνατότητες στη Haskell
    Subjects: “…Logic Programming…”
    Get full text
    7
Search Tools: RSS Feed – Email Search