Θεμελίωση επιστήμης υπολογιστών : θεωρία και εφαρμογές - Αθήνα: Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2015

Το βιβλίο αποσκοπεί στο να καλύψει την ύλη ενός (ή περισσοτέρων) μαθήματος εισαγωγής στην επιστήμη των υπολογιστών, δεύτερου ή τρίτου έτους σπουδών. Αποτελείται από δύο μέρη:
-Το πρώτο μέρος περιλαμβάνει μια εκτενή εισαγωγή στα πιο σημαντικά θέματα της Θεωρητικής Επιστήμης των Υπολογιστών, όπως αλγόριθμους, υπολογισιμότητα, πολυπλοκότητα, μοντέλα υπολογισμού, θεωρία γραφημάτων, παράλληλους και κατανεμημένους υπολογισμούς.
- Το δεύτερο μέρος αποτελείται από επί μέρους ενότητες που εστιάζουν σε θέματα Εφαρμοσμένης Επιστήμης των Υπολογιστών, όπως βάσεις δεδομένων, γραφική με υπολογιστές, κρυπτογραφία και ασφάλεια, υπολογιστική βιολογία, αλγοριθμική θεωρία παιγνίων, αναπαράσταση και χειρισμό γνώσης, διαδικτυακές τεχνολογίες.
Θα δοθεί ιδιαίτερη έμφαση στην αυστηρή μαθηματική θεμελίωση των εννοιών και των τεχνικών που παρουσιάζονται.