Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
Χαρτώνας, Χ.
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Χαρτώνας, Χ.
Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
Χαρτώνας, Χ.
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Θεμελίωση & σημασιολογία γλωσσών προγραμματισμού : λογισμοί λ /
ανά
Χαρτώνας
,
Χ
.
Έκδοση 2001
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
2
Βασική λογική : σύνολα, δικτυωτά-προτασιακά και τροπικά συστήματα λογικής /
ανά
Χαρτώνας
,
Χ
.
Έκδοση 2000
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
3
Βασική θεωρία υπολογισιμότητας : μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα /...
ανά
Χαρτώνας
,
Χ
.
Έκδοση 2001
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
COMPUTATIONAL COMPLEXITY
Computable functions
Recursive functions
Turing machines
Unsolvability (Mathematical logic)
Γλώσσες προγραμματισμού
Ηλεκτρονικοί υπολογιστές
Θεμελιώσεις επιστήμης Η/Υ
Θεωρία υπολογισιμότητας
Λογισμός
ΠΛΗ 30
ΠΛΗΡΟΦΟΡΙΚΗ
Προγραμματισμός (Μαθηματικά)
Συναρτήσεις
ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών