Εμφανίζονται
1 - 1
Αποτελέσματα από
1
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Ξεκινήστε νέα αναζήτηση
|
Ξεκινήστε νέα σύνθετη αναζήτηση
Κατάργηση φίλτρων
Ίδρυμα:
HEAL-Link
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Ίδρυμα:
HEAL-Link
Εκδόσεις -
Verification, Model Checking, and Abstract Interpretation
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
Μορφή
Ηλεκτρονική πηγή
1
Ηλ. βιβλίο
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
1
Συγγραφέας
Barthe, Gilles
1
Hermenegildo, Manuel
1
SpringerLink (Online service)
1
Γλώσσα
English
1
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών