Μεταφερθείτε στο κυρίως περιεχόμενο
Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών
Το καλάθι σας είναι άδειο.
Καλάθι
Λίστες
Δημόσιες λίστες
Απριλιανό καθεστώς
Προβολή όλων
Your cookies
Ιστορικό αναζήτησης
Καθαρισμός
Κατάλογος βιβλιοθήκης
Τίτλος
Συγγραφέας
Θέμα
ISBN
ISSN
Σειρά
Ταξιθετικός αριθμός
Σύνθετη αναζήτηση
Βιβλιογραφίες μαθημάτων
Αναζήτηση καθιερωμένων όρων
Βιβλιοθήκες
Συνδεθείτε στο λογαριασμό σας
×
Σύνδεση:
Κωδικός πρόσβασης:
Αρχική
Σύνθετη αναζήτηση
Results of search for 'an:118496'
Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
Limit to records with available items
Συγγραφείς
Γαροφαλάκης, Μίνως
Σπυράκης, Παύλος Γ.
Βιβλιοθήκες διάθεσης
Μηχανικών Η/Υ και Πληροφορικής
Θέματα
ALGORITHMS
CTI TR 1993
TECHNICAL REPORT
ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 199...
ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ
Η αναζήτηση επέστρεψε 2 αποτελέσματα.
Ταξινόμηση
Ταξινόμηση κατά:
Σχετικότητα
Δημοτικότητα (φθίνουσα)
Δημοτικότητα (αύξουσα)
Συγγραφέας (Α-Ω)
Συγγραφέας (Ω-Α)
Ταξιθετικό αριθμό (0-9 έως Α-Ω)
Ταξιθετικό αριθμό (Ω-Α έως 9-0)
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Νεότερη προς παλαιότερη
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Παλαιότερη προς νεότερη
Ημερομηνία πρόσκτησης: Νεότερα προς παλαιότερα
Ημερομηνία πρόσκτησης: Παλαιότερα προς νεότερα
Τίτλος (Α-Ω)
Τίτλος (Ω-Α)
Αφαίρεση επισήμανσης
Τονισμός
Επιλογή όλων
Καθαρισμός όλων
Επιλογή τίτλων για:
Προσθήκη σε...
Καλάθι
Αποτελέσματα
1.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Αυτόματη επαλήθευση παραλλήλων συστημάτων Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία.
by
Γαροφαλάκης, Μίνως
[aut]
Σπυράκης, Παύλος Γ
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
Γλώσσα:
Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης:
Πάτρα
Τμημα Η/Υ. Πτυχιακές Εργασίες.
Ιούνιος 1992
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
Μηχανικών Η/Υ και Πληροφορικής
(1).
Προσθήκη στο καλάθι
(αφαίρεση)
2.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
by
Γαροφαλάκης, Μίνως
[aut]
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
Γλώσσα:
Αγγλικά
Λεπτομέρειες δημοσίευσης:
Patras Greece Patras Greece Πάτρα Ελλάδα
Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών
1993
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
Μηχανικών Η/Υ και Πληροφορικής
(1).
Προσθήκη στο καλάθι
(αφαίρεση)
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621,
Φόρμα επικοινωνίας