Εμφανίζονται
1 - 12
Αποτελέσματα από
12
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Προτεινόμενα θέματα:
Automated static analysis
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Προτεινόμενα θέματα:
Automated static analysis
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 12
Αποτελέσματα από
12
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
2
Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia
Έκδοση 2015
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
3
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
4
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
5
Proceedings of the 27th International Conference on Compiler Construction
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
6
Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
7
Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
8
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
9
Proceedings of the 5th International Workshop on Software Mining
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
10
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
11
Proceedings of the 9th Balkan Conference on Informatics
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
12
Proceedings of the First International Workshop on Software Correctness for HPC Applications
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
12
Μορφή
Πρακτικό Συνεδρίου
12
Ηλεκτρονική πηγή
12
Ηλ. βιβλίο
12
Συγγραφέας
Association for Computing Machinery-Digital Library
12
ACM Special Interest Group on Programming Languages
5
ACM Special Interest Group on Software Engineering
4
ACM Special Interest Group on Artificial Intelligence
2
ASE'16: ACM/IEEE International Conference on Automated Software Engineering Singapore Singapore
2
ACM Special Interest Group on Ada Programming Language
1
ACM Special Interest Group on High Performance Computing
1
ACM Special Interest Group on Microarchitecture
1
Aleksieva-Petrova, Adelina
1
BCI'19: 9th Balkan Conference in Informatics Sofia Bulgaria
1
CEE-SECR '15: Central and Eastern European Software Engineering Conference in Russia Moscow Russia
1
CGO '18: 16th Annual IEEE/ACM International Symposium on Code Generation and Optimization Vienna Austria
1
Chechina, Natalia
1
Chiba, Shigeru
1
Dubach, Christophe
1
ESEC/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Paderborn Germany
1
Eleftherakis, George
1
FSE'16: 24nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering Seattle WA USA
1
Grech, Neville
1
ICFP '17: ACM SIGPLAN International Conference on Functional Programming Oxford UK
1
Lazarova, Milena
1
Li, Ming
1
Lo, David
1
PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation Phoenix AZ USA
1
Puntikov, Nikolay
1
SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis Denver CO USA
1
SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Vancouver BC Canada
1
SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity Athens Greece
1
Sarro, Federica
1
Smaragdakis, Yannis
1
Προβολή όλων…
Γλώσσα
English
12
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών