Εμφανίζονται
1 - 9
Αποτελέσματα από
9
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
SpringerLink (Online service)
KAI
Wille, Robert
Μορφή:
Ηλεκτρονική πηγή
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (3)
Συγγραφέας:
SpringerLink (Online service)
KAI
Wille, Robert
Μορφή:
Ηλεκτρονική πηγή
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 9
Αποτελέσματα από
9
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
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
Ηλεκτρονική πηγή
Ηλ. βιβλίο
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
Compact Representations for the Design of Quantum Logic
ανά
Niemann, Philipp
,
Wille, Robert
Έκδοση 2017
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Exact Design of Digital Microfluidic Biochips
ανά
Keszocze, Oliver
,
Keszocze, Oliver
,
Wille, Robert
,
Drechsler, Rolf
Έκδοση 2019
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Έκδοση 2012
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Towards a Design Flow for Reversible Logic
ανά
Wille, Robert
,
Drechsler, Rolf
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Towards a Design Flow for Reversible Logic
ανά
Wille, Robert
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
8
UPatras
1
Μορφή
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Βιβλίο
1
Εργαλειοθήκη
1
Ταξιθετικός Αριθμός
600 - Technology (Applied sciences)
7
000 - Computer science, information, general works
1
Συγγραφέας
SpringerLink (Online service)
Wille, Robert
Drechsler, Rolf
6
Fummi, Franco
1
Keszocze, Oliver
1
Niemann, Philipp
1
Przigoda, Judith
1
Przigoda, Nils
1
Seiter, Julia
1
Vos, Alexis De
1
Προβολή όλων…
Γλώσσα
English
9
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών