Εμφανίζονται
1 - 2
Αποτελέσματα από
2
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Ξεκινήστε νέα αναζήτηση
|
Ξεκινήστε νέα σύνθετη αναζήτηση
Εκδόσεις -
Tools and Algorithms for the Construction and Analysis of Systems
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice o...
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice o...
ανά
Esparza, Javier
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
1
UPatras
1
Μορφή
Ηλεκτρονική πηγή
2
Βιβλίο
1
Εργαλειοθήκη
1
Ηλ. βιβλίο
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
1
Συγγραφέας
Esparza, Javier
2
Majumdar, Rupak
2
SpringerLink (Online service)
2
Γλώσσα
English
2
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών