Εμφανίζονται
1 - 10
Αποτελέσματα από
10
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
ACM Special Interest Group on Logic and Computation
KAI
ACM Special Interest Group on Programming Languages
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (2)
Συγγραφέας:
ACM Special Interest Group on Logic and Computation
KAI
ACM Special Interest Group on Programming Languages
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 10
Αποτελέσματα από
10
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
2
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
3
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Έκδοση 2020
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
4
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
5
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
6
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
7
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
8
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
9
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Έκδοση 2020
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
10
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
10
Μορφή
Πρακτικό Συνεδρίου
10
Ηλεκτρονική πηγή
10
Ηλ. βιβλίο
10
Συγγραφέας
ACM Special Interest Group on Logic and Computation
ACM Special Interest Group on Programming Languages
Association for Computing Machinery-Digital Library
10
ACM Special Interest Group on Algorithms & Computation Theory
5
POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages Paris France
2
POPL '20: 47th Annual ACM SIGPLAN Symposium on Principles of Programming Languages New Orleans LA USA
2
Andronick, June
1
Avigad, Jeremy
1
Bertot, Yves
1
Blanchette, Jasmin
1
CPP '17: Certified Proofs and Programs Paris France
1
CPP '18: Certified Proofs and Programs Los Angeles CA USA
1
CPP '19: 8th ACM SIGPLAN International Conference on Certified Programs and Proofs Cascais Portugal
1
CPP 2016: Certified Proofs and Programs St. Petersburg FL USA
1
Castagna, Giuseppe
1
Henglein, Fritz
1
Hermenegildo, Manuel
1
Mahboubi, Assia
1
POPL '18: The 45th Annual ACM SIGPLAN Symposium on Principles of Programming Languages Los Angeles CA USA
1
POPL '19: 46th Annual ACM SIGPLAN Symposium on Principles of Programming Languages Cascais Portugal
1
Poulsen, Casper Bach
1
Schultz, Ulrik
1
Προβολή όλων…
Γλώσσα
English
10
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών