Εμφανίζονται
1 - 11
Αποτελέσματα από
11
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Drechsler, Rolf
Μορφή:
Ηλεκτρονική πηγή
KAI
Ηλ. βιβλίο
Γλώσσα:
English
Προτεινόμενα θέματα:
Electronics
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (5)
Συγγραφέας:
Drechsler, Rolf
Μορφή:
Ηλεκτρονική πηγή
KAI
Ηλ. βιβλίο
Γλώσσα:
English
Προτεινόμενα θέματα:
Electronics
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 11
Αποτελέσματα από
11
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Advanced BDD Optimization
ανά
Ebendt, Rüdiger
,
Fey, Görschwin
,
Drechsler, Rolf
Έκδοση 2005
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά
Przigoda, Nils
,
Przigoda, Nils
,
Wille, Robert
,
Przigoda, Judith
,
Drechsler, Rolf
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
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
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
ανά
Chandrasekharan, Arun
,
Chandrasekharan, Arun
,
Große, Daniel
,
Drechsler, Rolf
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Exact Design of Digital Microfluidic Biochips
ανά
Keszocze, Oliver
,
Keszocze, Oliver
,
Wille, Robert
,
Drechsler, Rolf
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Formal System Verification State-of the-Art and Future Trends /
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
High Quality Test Pattern Generation and Boolean Satisfiability
ανά
Eggersglüß, Stephan
,
Drechsler, Rolf
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Reversible and Quantum Circuits Optimization and Complexity Analysis /
ανά
Abdessaied, Nabila
,
Drechsler, Rolf
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Robustness and Usability in Modern Design Flows
ανά
Fey, Görschwin
,
Drechsler, Rolf
Έκδοση 2008
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Test Pattern Generation using Boolean Proof Engines
ανά
Drechsler, Rolf
,
Eggersglüβ, Stephan
,
Fey, Görschwin
,
Tille, Daniel
Έκδοση 2009
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
11
Μορφή
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Ταξιθετικός Αριθμός
600 - Technology (Applied sciences)
11
Συγγραφέας
Drechsler, Rolf
SpringerLink (Online service)
11
Wille, Robert
4
Fey, Görschwin
3
Abdessaied, Nabila
1
Chandrasekharan, Arun
1
Ebendt, Rüdiger
1
Eggersglüß, Stephan
1
Eggersglüβ, Stephan
1
Große, Daniel
1
Keszocze, Oliver
1
Przigoda, Judith
1
Przigoda, Nils
1
Seiter, Julia
1
Tille, Daniel
1
Προβολή όλων…
Γλώσσα
English
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών