Εμφανίζονται
1 - 1
Αποτελέσματα από
1
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Ξεκινήστε νέα αναζήτηση
|
Ξεκινήστε νέα σύνθετη αναζήτηση
Κατάργηση φίλτρων
Ίδρυμα:
HEAL-Link
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Ίδρυμα:
HEAL-Link
Εκδόσεις -
Tools and Algorithms for the Construction and Analysis of Systems
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
, χρόνος αναζήτησης: 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
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
Μορφή
Ηλεκτρονική πηγή
1
Ηλ. βιβλίο
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
1
Συγγραφέας
Esparza, Javier
1
Majumdar, Rupak
1
SpringerLink (Online service)
1
Γλώσσα
English
1
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών