Showing 4,481 - 4,500 results of 5,062 for search '"programming languages"', query time: 0.17s Refine Results
  1. 4481
    SOFSEM '97: Theory and Practice of Informatics 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings /
    Published 1997
    Table of Contents: “… programming languages from denotational semantics specifications -- A formal software engineering paradigm…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 4482
    Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  3. 4483
    Intelligent Agents VIII 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  4. 4484
    Εφαρμογές και τεχνικές εξόρυξης και οπτικοποίησης γνώσης σε βιοϊατρικά δεδομένα
    Get full text
    Thesis
  5. 4485
    Ηλεκτρονική μάθηση μέσω IoT με χρήση τοποθεσίας
    Get full text
  6. 4486
    Ψηφιοποίηση πολιτισμικού αποθέματος του χωριού Αγ. Θωμά Ηρακλείου Κρήτης και προβολή του στον ιστότοπο του πολιτιστικού συλλόγου Αγ. Θωμά "Ο Λόγιος" www.logios.gr, μέσω νέων τεχνολογιών διαδικτύου ανοικτού κώδικα
    Get full text
    Thesis
  7. 4487
    Σχεδιασμός κίνησης τροχήλατου ρομπότ σε περιβάλλον εμποδίων
    Get full text
  8. 4488
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  9. 4489
    Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  10. 4490
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  11. 4491
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
    Published 2008
    Table of Contents: “… Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 4492
    Ηλεκτρονικές προμήθειες : σχεδιασμός και εφαρμογή
    Get full text
    Thesis
  13. 4493
    Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  14. 4494
    Εισαγωγή στις Ανοικτές Δομές Δεδομένων
    Get full text
    Get full text
    1
  15. 4495
    Αλγόριθμοι Επεξεργασίας Ιατρικού Σήματος
    Get full text
    Get full text
    1
  16. 4496
    From Theory to Practice in Multi-Agent Systems Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers /
    Published 2002
    Table of Contents: “… Measure -- A Programming Language for Coordinating Group Actions -- Optimization of Resource Allocation…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4497
    Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Graphs -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language -- A Cost-Bounded…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4498
    Advances in Object-Oriented Information Systems OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings /
    Published 2002
    Table of Contents: “… Using Concept Analysis -- Using Both Specialisation and Generalisation in a Programming Language: Why…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4499
    Handbook of Data Intensive Computing
    Published 2011
    Table of Contents: “… Computing -- Architecting Data-Intensive Software Systems -- ECL: A High-Level Programming Language for Data…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4500
    Advances in Automatic Differentiation
    Published 2008
    Table of Contents: “… Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search