-
1521Έκδοση 2001Πίνακας περιεχομένων: “… Programs -- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs -- The loop…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1522ανά Τσίτσικας, Ηλίας“… Java, καθώς και κάποιες άλλες τεχνολογίες που είχαν κυρίως υποστηρικτικό σκοπό. Επίσης σχεδιάστηκε και…”
Έκδοση 2020
Λήψη πλήρους κειμένου
Thesis -
1523ανά Μοσχόπουλος, Νικόλαος“…, CSS, JavaScript, PHP, JSON καθώς και τη γλώσσα διαχείρισης βάσεων δεδομένων MySQL. Το σύστημα αυτό…”
Έκδοση 2023
Λήψη πλήρους κειμένου
-
1524
-
1525ανά Μπαντουβάς, Ιωάννης“… μέρος του κόσμου κι αν βρίσκονται. Χρησιμοποιώντας γλώσσες προγραμματισμού όπως PHP, CSS, Java…”
Έκδοση 2011
Λήψη πλήρους κειμένου
Thesis -
1526ανά Γιασλάς, Γεώργιος“… μετάφραση των οδηγιών OpenMP. Η υλοποίηση του μεταφραστή έγινε στη γλώσσα προγραμματισμού Java…”
Έκδοση 2007
Λήψη πλήρους κειμένου
-
1527ανά Σταυροπούλου, Αντωνία“… ελέγχων στο έργο e- mathiteia με χρήση της γλώσσας Java μέσω ανάπτυξης custom code scripts. Θα γίνει…”
Έκδοση 2022
Λήψη πλήρους κειμένου
-
1528ανά Γεωργίου, Παναγιώτης“… της PHP και της JavaScript ενώσαμε τα κομμάτια της βάσης αυτής, του backend και του frontend. Το…”
Έκδοση 2021
Λήψη πλήρους κειμένου
-
1529ανά Σιαμπλής, Δημήτριος“…, συμπεριλαμβανομένων των HTML, CSS, JavaScript, Node.js, Express.js, React.js και MongoDB. Τα εργαλεία αυτά…”
Έκδοση 2023
Λήψη πλήρους κειμένου
-
1530Έκδοση 2008Πίνακας περιεχομένων: “… Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1531
-
1532
-
1533
-
1534Έκδοση 2001Πίνακας περιεχομένων: “… Training by Means of Math Trainer -- EJS: An Authoring Tool to Develop Java Applications -- Adam Case…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1535Έκδοση 2004Πίνακας περιεχομένων: “… in Scientific Workflows -- PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web -- Process Based…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1536
-
1537
-
1538
-
1539
-
1540Έκδοση 2008Πίνακας περιεχομένων: “… for Java-Style Programs -- Sufficient Preconditions for Modular Assertion Checking -- Runtime Checking…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο