Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Association for Computing Machinery-Digital Library
Προτεινόμενα θέματα:
Syntax
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (2)
Συγγραφέας:
Association for Computing Machinery-Digital Library
Προτεινόμενα θέματα:
Syntax
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Έκδοση 2005
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
2
Proceedings of the international symposium on Extensible languages
Έκδοση 1971
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
2
Μορφή
Ηλεκτρονική πηγή
2
Ηλ. βιβλίο
2
Πρακτικό Συνεδρίου
1
Συγγραφέας
Association for Computing Machinery-Digital Library
ACM Special Interest Group on Programming Languages
1
MERLIN05: Mechanized Reasoning about Languages with Variable Binding 2005 Workshop Tallinn Estonia
1
Pollack, Randy
1
Schuman, Stephen A.
1
Γλώσσα
English
2
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών