Εμφανίζονται
1 - 11
Αποτελέσματα από
11
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Drechsler, Rolf
KAI
SpringerLink (Online service)
Ταξιθετικός Αριθμός:
600 - Technology (Applied sciences)
Μορφή:
Ηλεκτρονική πηγή
Προτεινόμενα θέματα:
Engineering
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (5)
Συγγραφέας:
Drechsler, Rolf
KAI
SpringerLink (Online service)
Ταξιθετικός Αριθμός:
600 - Technology (Applied sciences)
Μορφή:
Ηλεκτρονική πηγή
Προτεινόμενα θέματα:
Engineering
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 11
Αποτελέσματα από
11
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Advanced BDD Optimization
ανά
Ebendt, Rüdiger
,
Fey, Görschwin
,
Drechsler, Rolf
Έκδοση 2005
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
ανά
Seiter, Julia
,
Wille, Robert
,
Drechsler, Rolf
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Debugging at the Electronic System Level
ανά
Rogin, Frank
,
Drechsler, Rolf
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Formal Specification Level Concepts, Methods, and Algorithms /
ανά
Soeken, Mathias
,
Drechsler, Rolf
Έκδοση 2015
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
High Quality Test Pattern Generation and Boolean Satisfiability
ανά
Eggersglüß, Stephan
,
Drechsler, Rolf
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Quality-Driven SystemC Design
ανά
Große, Daniel
,
Drechsler, Rolf
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Reversible and Quantum Circuits Optimization and Complexity Analysis /
ανά
Abdessaied, Nabila
,
Drechsler, Rolf
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Robustness and Usability in Modern Design Flows
ανά
Fey, Görschwin
,
Drechsler, Rolf
Έκδοση 2008
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Test Pattern Generation using Boolean Proof Engines
ανά
Drechsler, Rolf
,
Eggersglüβ, Stephan
,
Fey, Görschwin
,
Tille, Daniel
Έκδοση 2009
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Towards a Design Flow for Reversible Logic
ανά
Wille, Robert
,
Drechsler, Rolf
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
11
Μορφή
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Ταξιθετικός Αριθμός
600 - Technology (Applied sciences)
Συγγραφέας
Drechsler, Rolf
SpringerLink (Online service)
Fey, Görschwin
3
Wille, Robert
3
Abdessaied, Nabila
1
Ebendt, Rüdiger
1
Eggersglüß, Stephan
1
Eggersglüβ, Stephan
1
Große, Daniel
1
Rogin, Frank
1
Seiter, Julia
1
Soeken, Mathias
1
Tille, Daniel
1
Προβολή όλων…
Γλώσσα
English
11
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών