ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Τεχνικές λογικού προγραμματισμού: Η Γλώσσα Prolog

Κατηγορία: ΑΚΑΔΗΜΑΙΚΑ ΣΥΓΓΡΑΜΜΑΤΑ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ / ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ / ΠΛΗΡΟΦΟΡΙΚΗΣ, ΒΙΒΛΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ // Tags: EPUB ΒΙΒΛΙΑ, PDF, ΔΗΜΟΣΘΕΝΗΣ ΣΤΑΜΑΤΗΣ, ΗΛΙΑΣ ΣΑΚΕΛΛΑΡΙΟΥ, ΚΑΛΛΙΠΟΣ, ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ, ΝΙΚΟΛΑΟΣ ΒΑΣΙΛΕΙΑΔΗΣ, ΠΕΤΡΟΣ ΚΕΦΑΛΑΣ, ΠΛΗΡΟΦΟΡΙΚΗ, ΣΕΑΒ, ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Ο Λογικός Προγραμματισμός (ΛΠ) ανήκει στις πλέον ενδιαφέρουσες σχολές προγραμματισμού, σημαντικά διαφορετική από τις “κλασικές” σχολές του προστακτικού και του αντικειμενοστραφούς προγραμματισμού….

Συγγραφέας: Ηλίας Σακελλαρίου, Νικόλαος Βασιλειάδης, Πέτρος Κεφαλάς, Δημοσθένης Σταμάτης
Έκδοση ebook: ΣΕΑΒ, ΚΑΛΛΙΠΟΣ
Έτος έκδοσης: 2015
ISBN: 978-960-603-246-2
Μέγεθος: σελ. 327 / 6 Mb
Μορφή: Pdf Online, ePub

Δείτε το εδώ

Προγραμματισμός με τη γλώσσα C++

Κατηγορία: ΑΚΑΔΗΜΑΙΚΑ ΣΥΓΓΡΑΜΜΑΤΑ, ΒΙΒΛΙΑ C & C++, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ / ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ // Tags: PDF, ΓΛΩΣΣΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ C++, ΘΕΟΔΩΡΟΣ ΑΛΕΒΙΖΟΣ, ΚΑΛΛΙΠΟΣ, ΣΕΑΒ, ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Στο Μέρος Α παρουσιάζονται θεμελιώδεις προγραμματιστικές δομές και οι λογικές τους και θεμελιώδεις δομές δεδομένων. Το πρόγραμμα ως προϊόν (προδιαγραφές, σχεδίαση-υλοποίηση, απόδειξη ορθότητας, τεκμηρίωση)….

Συγγραφέας: Θεόδωρος Αλεβίζος
Έκδοση ebook: ΣΕΑΒ, ΚΑΛΛΙΠΟΣ
Έτος έκδοσης: 2014
ISBN: 978-960-603-515-9
Μέγεθος: σελ. 1166 / 73 Mb
Μορφή: Pdf Online

Δείτε το εδώ