Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Ball, Thomas
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Συγγραφέας:
Ball, Thomas
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Έκδοση 2006
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
Έκδοση 2003
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Έκδοση 1998
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
4
Proceedings of the 2nd conference on Domain-specific languages
Έκδοση 1999
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
5
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
5
Μορφή
Ηλεκτρονική πηγή
5
Ηλ. βιβλίο
5
Πρακτικό Συνεδρίου
3
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
2
Συγγραφέας
Ball, Thomas
ACM Special Interest Group on Programming Languages
3
Association for Computing Machinery-Digital Library
3
ACM Special Interest Group on Software Engineering
2
SpringerLink (Online service)
2
ACM Special Interest Group on Algorithms & Computation Theory
1
Berman, A. Michael
1
DSL99: 2nd Conference on Domain-Specific Languages Austin Texas USA
1
Jones, Robert B.
1
PASTE98: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering Montreal Quebec Canada
1
POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Austin Texas USA
1
Rajamani, Sriram K.
1
Προβολή όλων…
Γλώσσα
English
5
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών