Εμφανίζονται
1 - 12
Αποτελέσματα από
12
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Barthe, Gilles
Ταξιθετικός Αριθμός:
000 - Computer science, information, general works
Μορφή:
Ηλ. βιβλίο
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (3)
Συγγραφέας:
Barthe, Gilles
Ταξιθετικός Αριθμός:
000 - Computer science, information, general works
Μορφή:
Ηλ. βιβλίο
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 12
Αποτελέσματα από
12
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,04δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
Έκδοση 2005
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Έκδοση 2006
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings /
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Έκδοση 2008
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures /
Έκδοση 2009
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011,...
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Security and Trust Management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers /
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
Έκδοση 2008
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
12
Μορφή
Ηλεκτρονική πηγή
12
Ηλ. βιβλίο
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
Συγγραφέας
Barthe, Gilles
SpringerLink (Online service)
12
Huisman, Marieke
2
Lanet, Jean-Louis
2
Aldini, Alessandro
1
Boer, Frank S. de
1
Burdy, Lilian
1
Cuellar, Jorge
1
Datta, Anupam
1
Etalle, Sandro
1
Fournet, Cédric
1
Gorrieri, Roberto
1
Grégoire, Benjamin
1
Hermenegildo, Manuel
1
Livshits, Benjamin
1
Lopez, Javier
1
Markatos, Evangelos
1
Muntean, Traian
1
Pardo, Alberto
1
Pretschner, Alexander
1
Samarati, Pierangela
1
Scandariato, Riccardo
1
Schneider, Gerardo
1
Προβολή όλων…
Γλώσσα
English
12
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών