Μετάβαση στο περιεχόμενο
Ωκεανός
Υπηρεσία Ενοποιημένης Αναζήτησης
του Πανεπιστημίου Πειραιώς
Σύνθετη
  • 0 τεκμήρια
  • Γλώσσα
    • English
    • Ελληνικά
Σύνθετη
  • Αναζήτηση:
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Integrated circuits 8 Verification Design and construction 3
Computer hardware description languages 2 Computer-aided design 2 Testing 2
περισσότερα ...
Very large scale integration 2 Application specific integrated circuits 1 Circuits 1
Computers 1 Data processing 1 Electronic circuit design 1
Error analysis (Mathematics) 1 Formal methods (Computer science) 1 Systems on a chip 1
λιγότερα ...
Εμφανίζονται 1 - 8 από 8 για την αναζήτηση: '', χρόνος αναζήτησης: 0,23δλ
Εξώφυλλο
The e hardware verification language /
από Iman, Sasan.
Στοιχεία έκδοσης 2004
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Design verification with e /
από Palnitkar, Samir.
Στοιχεία έκδοσης 2004
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Formal equivalence checking and design debugging /
από Huang, Shi-Yu , 1965-
Στοιχεία έκδοσης 1998
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Verification by error modeling : using testing techniques in hardware verification /
από Radecka, Katarzyna.
Στοιχεία έκδοσης 2003
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Hardware Design Verification : simulation and formal methods - based approaches /
από Lam, William K.
Στοιχεία έκδοσης 2005
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Professional verification : a guide to advanced functional verification /
από Wilcox, Paul, MBA.
Στοιχεία έκδοσης 2004
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Introduction to formal hardware verification /
από Kropf, Thomas, 1961-
Στοιχεία έκδοσης 1999
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Verification techniques for system-level design
από Fujita, Masahiro, 1956-
Στοιχεία έκδοσης 2008
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης

Περιορισμός αναζήτησης

Κατάργηση φίλτρων
Προτεινόμενα θέματα: Verification
Συλλογή
8 Κατάλογος Βιβλιοθήκης
Μορφή
7 Book 1 Electronic
Συγγραφέας
1 Fujita, Masahiro, 1956- 1 Huang, Shi-Yu , 1965- 1 Iman, Sasan 1 Kropf, Thomas, 1961- 1 Lam, William K. 1 Palnitkar, Samir περισσότερα ... 1 Radecka, Katarzyna 1 Wilcox, Paul, MBA λιγότερα ...
Ταξινομικός #
7 600 - Technology
Γλώσσα
8 English
Είδος
1 Electronic books
Έτος έκδοσης

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
Library of UniPi
Βιβλιοθήκη Πανεπιστημίου Πειραιώς
Ιστοσελίδα της Βιβλιοθήκης
Επικοινωνήστε μαζί μας
H Υπηρεσία Ενοποιημένης Αναζήτησης δημιουργήθηκε στο πλαίσιο του Υποέργου 4 «Προμήθειες Εξοπλισμού Λογισμικού» της πράξης «Ψηφιακές υπηρεσίες ανοιχτής πρόσβασης της βιβλιοθήκης του Πανεπιστημίου Πειραιώς» με κωδικό ΟΠΣ «304169», του Επιχειρησιακού Προγράμματος "Ψηφιακή Σύγκλιση"

Φορτώνει......