Η αναζήτηση επέστρεψε 3 αποτελέσματα.

Αποτελέσματα
	1.	Abstraction Refinement for Large Scale Model Checking [electronic resource] by Chao Wang, Gary D. Hachtel, Fabio Somenzi από Wang, Chao Hachtel, Gary D Somenzi, Fabio Σειρά: Series on Integrated Circuits and Systems Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic Minimization Algorithms for VLSI Synthesis από Brayton, Robert K [aut] Hachtel, Gary D [aut] Σειρά: Kluwer International Series in Engineering and Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Kluwer Academic Publishers c1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 621.395 BRA, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Logic minimization algorithms for VLSI synthesis by Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen,...[και ά.] από Brayton, Robert K Hachtel, Gary D McMullen, Curtis T Σειρά: The Kluwer international series in engineering and computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Kluwer Academic Publications 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 621.395 BRA, ... Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας