Εμφανίζονται 1.521 - 1.540 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1521
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Programs -- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs -- The loop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1522
    Αξιοποίηση τεχνολογιών containers σε κυβερνοφυσικά συστήματα : από τη μαζική παραγωγή στη μαζική εξατομίκευση
    ανά Τσίτσικας, Ηλίας
    Έκδοση 2020
    “… Java, καθώς και κάποιες άλλες τεχνολογίες που είχαν κυρίως υποστηρικτικό σκοπό. Επίσης σχεδιάστηκε και…”
    Λήψη πλήρους κειμένου
    Thesis
  3. 1523
    Ηλεκτρονική μάθηση μέσω IoT με χρήση τοποθεσίας
    ανά Μοσχόπουλος, Νικόλαος
    Έκδοση 2023
    “…, CSS, JavaScript, PHP, JSON καθώς και τη γλώσσα διαχείρισης βάσεων δεδομένων MySQL. Το σύστημα αυτό…”
    Λήψη πλήρους κειμένου
  4. 1524
    Σχεδιασμός και ανάπτυξη υβριδικής εφαρμογής για πραγματοποίηση βιντεοκλήσεων μέσω Παγκόσμιου Ιστού
    ανά Τεπετές, Κωνσταντίνος
    Έκδοση 2023
    Λήψη πλήρους κειμένου
  5. 1525
    Ψηφιοποίηση πολιτισμικού αποθέματος του χωριού Αγ. Θωμά Ηρακλείου Κρήτης και προβολή του στον ιστότοπο του πολιτιστικού συλλόγου Αγ. Θωμά "Ο Λόγιος" www.logios.gr, μέσω νέων τεχνολογιών διαδικτύου ανοικτού κώδικα
    ανά Μπαντουβάς, Ιωάννης
    Έκδοση 2011
    “… μέρος του κόσμου κι αν βρίσκονται. Χρησιμοποιώντας γλώσσες προγραμματισμού όπως PHP, CSS, Java…”
    Λήψη πλήρους κειμένου
    Thesis
  6. 1526
    Υλοποίηση μεταφραστή πηγαίου προς πηγαίο κώδικα για μοντέλο προγραμματισμού OpenMP σε γλώσσα προγραμματισμού C
    ανά Γιασλάς, Γεώργιος
    Έκδοση 2007
    “… μετάφραση των οδηγιών OpenMP. Η υλοποίηση του μεταφραστή έγινε στη γλώσσα προγραμματισμού Java…”
    Λήψη πλήρους κειμένου
  7. 1527
    Αυτοματοποίηση διαδικασιών ελέγχου του έργου e-mathiteia και παραγωγή αποτελεσμάτων μέσω extent reports framework
    ανά Σταυροπούλου, Αντωνία
    Έκδοση 2022
    “… ελέγχων στο έργο e- mathiteia με χρήση της γλώσσας Java μέσω ανάπτυξης custom code scripts. Θα γίνει…”
    Λήψη πλήρους κειμένου
  8. 1528
    Σύστημα αυτόματης κατασκευής και επίλυσης σταυρολέξων ιταλικού τύπου
    ανά Γεωργίου, Παναγιώτης
    Έκδοση 2021
    “… της PHP και της JavaScript ενώσαμε τα κομμάτια της βάσης αυτής, του backend και του frontend. Το…”
    Λήψη πλήρους κειμένου
  9. 1529
    Σχεδίαση και ανάπτυξη ολοκληρωμένης πλατφόρμας υποστήριξης κοινότητας οινογευσίας
    ανά Σιαμπλής, Δημήτριος
    Έκδοση 2023
    “…, συμπεριλαμβανομένων των HTML, CSS, JavaScript, Node.js, Express.js, React.js και MongoDB. Τα εργαλεία αυτά…”
    Λήψη πλήρους κειμένου
  10. 1530
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1531
    Learn Unity for Windows 10 Game Development
    ανά Blackman, Sue, Tuliper, Adam
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1532
    Practical jQuery
    ανά Chaudhary, Mukund, Kumar, Ankur
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1533
    Pivotal Certified Spring Enterprise Integration Specialist Exam A Study Guide /
    ανά Krnac, Lubos
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1534
    Computers and Education Towards an Interconnected Society /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Training by Means of Math Trainer -- EJS: An Authoring Tool to Develop Java Applications -- Adam Case…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1535
    Data Integration in the Life Sciences First International Workshop, DILS 2004, Leipzig, Germany, March 25-26, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… in Scientific Workflows -- PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web -- Process Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1536
    648337.pdf
    Έκδοση 2018
  17. 1537
    MATLAB Programming for Numerical Analysis
    ανά López, César Pérez
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1538
    MATLAB Symbolic Algebra and Calculus Tools
    ανά López, César Pérez
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1539
    CSS Framework Alternatives Explore Five Lightweight Alternatives to Bootstrap and Foundation with Project Examples /
    ανά Shenoy, Aravind, Shenoy, Aravind, Prabhu, Anirudh
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1540
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Java-Style Programs -- Sufficient Preconditions for Modular Assertion Checking -- Runtime Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email