Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
"1962"
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Peled, Doron A., 1962-
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Συγγραφέας:
Peled, Doron A., 1962-
Αποτελέσματα αναζήτησης - "1962"
Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
"1962"
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Model checking and artificial intelligence /
Έκδοση 2008
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Πρακτικό Συνεδρίου
Βιβλίο
Φορτώνει…
2
Model checking /
ανά
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Έκδοση 1999
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
3
Time for Verification Essays in Memory of Amir Pnueli
ανά
Manna, Zohar
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
UPatras
3
Μορφή
Βιβλίο
3
Πρακτικό Συνεδρίου
1
Ηλεκτρονική πηγή
1
Εργαλειοθήκη
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
2
Συγγραφέας
Peled, Doron A., 1962-
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
1
European Conference on Artificial Intelligence Patras, Greece
1
Grumberg, Orna
1
Manna, Zohar
1
SpringerLink (Online service)
1
Wooldridge, Mike
1
Προβολή όλων…
Γλώσσα
English
3
Greek
1
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών