Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Jhala, Ranjit
Μορφή:
Ηλ. βιβλίο
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (2)
Συγγραφέας:
Jhala, Ranjit
Μορφή:
Ηλ. βιβλίο
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-2...
Έκδοση 2013
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Proceedings of the 5th ACM workshop on Programming languages meets program verification
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
3
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings /
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
4
Μορφή
Ηλεκτρονική πηγή
4
Ηλ. βιβλίο
Πρακτικό Συνεδρίου
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
3
Συγγραφέας
Jhala, Ranjit
SpringerLink (Online service)
3
ACM Special Interest Group on Algorithms & Computation Theory
1
ACM Special Interest Group on Programming Languages
1
Association for Computing Machinery-Digital Library
1
Bosschere, Koen De
1
Igarashi, Atsushi
1
POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Austin Texas USA
1
Schmidt, David
1
Προβολή όλων…
Γλώσσα
English
4
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών