Εμφανίζονται
1 - 15
Αποτελέσματα από
15
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Προτεινόμενα θέματα:
Logic and verification
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Προτεινόμενα θέματα:
Logic and verification
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 15
Αποτελέσματα από
15
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
2
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
3
Proceedings of the 1st ACM MobiHoc Workshop on Mobile IoT Sensing, Security, and Privacy
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
4
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
5
Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
6
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
7
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
8
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
9
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
10
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Έκδοση 2020
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
11
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
12
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
13
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
14
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Έκδοση 2020
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
15
Proceedings of the Second International Workshop on Automation of Software Test
Έκδοση 2007
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
15
Μορφή
Ηλεκτρονική πηγή
15
Ηλ. βιβλίο
15
Πρακτικό Συνεδρίου
14
Συγγραφέας
Association for Computing Machinery-Digital Library
15
ACM Special Interest Group on Programming Languages
6
ACM Special Interest Group on Logic and Computation
4
ACM Special Interest Group on Security, Audit and Control
3
ACM Special Interest Group on Embedded Systems
2
ACM Special Interest Group on Software Engineering
2
ACM Special Interest Group on Design Automation
1
ACM Special Interest Group on Mobility of Systems, Users, Data & Comp
1
Alvim, Mário S.
1
Andronick, June
1
Bertino, Elisa
1
Bielova, Nataliia
1
Blanchette, Jasmin
1
CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security Dallas Texas USA
1
CCS '18: 2018 ACM SIGSAC Conference on Computer and Communications Security Toronto Canada
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
Davis, Kei
1
Erdogmus, Hakan
1
HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control Montreal Quebec Canada
1
Hermanns, Holger
1
ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming St. Louis MO USA
1
ISSTA '17: International Symposium on Software Testing and Analysis Santa Barbara CA USA
1
Jha, Somesh
1
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science Saarbrücken Germany
1
MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design Vienna Austria
1
Mahboubi, Assia
1
Mobihoc '18: The Eighteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing Los Angeles CA USA
1
Ozay, Necmiye
1
PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation Philadelphia PA USA
1
Προβολή όλων…
Γλώσσα
English
15
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών