Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
Hu, Alan J.
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Hu, Alan J.
Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
Hu, Alan J.
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings of the International Conference on Computer-Aided Design
Έκδοση 2012
Άλλοι συγγραφείς:
“…
Hu
,
Alan
J
.…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
2
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Έκδοση 2009
Άλλοι συγγραφείς:
“…
Hu
,
Alan
J
.…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση 2004
Άλλοι συγγραφείς:
“…
Hu
,
Alan
J
.…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Έκδοση 1998
Άλλοι συγγραφείς:
“…
Hu
,
Alan
J
.…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer logic
Logics and Meanings of Programs
Software Engineering
Software engineering
Computer science
Mathematical Logic and Formal Languages
Mathematical logic
Artificial Intelligence
Artificial intelligence
Computer Hardware
Computer Science
Computer hardware
Computer-Aided Engineering (CAD, CAE) and Design
Computer-aided design
Computer-aided engineering
Computers
Emerging technologies
Hardware validation
Logic Design
Logic design
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Theory of Computation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών