Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Ray, Sandip
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Συγγραφέας:
Ray, Sandip
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Έκδοση 2009
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
3
Scalable Techniques for Formal Verification
ανά
Ray, Sandip
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Scalable Techniques for Formal Verification
ανά
Ray, Sandip
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
5
Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
ανά
Ray, Sandip
,
Ray, Sandip
,
Basak, Abhishek
,
Bhunia, Swarup
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
4
UPatras
1
Μορφή
Ηλεκτρονική πηγή
5
Ηλ. βιβλίο
4
Βιβλίο
1
Πρακτικό Συνεδρίου
1
Εργαλειοθήκη
1
Ταξιθετικός Αριθμός
600 - Technology (Applied sciences)
3
Συγγραφέας
Ray, Sandip
SpringerLink (Online service)
4
Bhunia, Swarup
2
ACL2 '09: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications Boston Massachusetts USA
1
Association for Computing Machinery-Digital Library
1
Basak, Abhishek
1
Sur-Kolay, Susmita
1
Προβολή όλων…
Γλώσσα
English
5
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών