Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Malik, Sharad
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Malik, Sharad
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Malik, Sharad
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings of the 41st annual Design Automation Conference
Έκδοση 2004
Άλλοι συγγραφείς:
“…
Malik
,
Sharad
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
2
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
Έκδοση 2008
Άλλοι συγγραφείς:
“…
Malik
,
Sharad
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer science
Architecture, Computer
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Computer System Implementation
Computer logic
Computer programming
Computer-aided design
Hardware validation
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Physical design (EDA)
Programming Techniques
Software Engineering
Software engineering
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών