Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Springer Berlin Heidelberg : Imprint: Springer,
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Συγγραφέας:
Margaria, Tiziana
KAI
Schreiner, Dietmar
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (2)
Συγγραφέας:
Margaria, Tiziana
KAI
Schreiner, Dietmar
Αποτελέσματα αναζήτησης - Springer Berlin Heidelberg : Imprint: Springer,
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Springer Berlin Heidelberg : Imprint: Springer,
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria,...
Έκδοση 2012
“…
Springer
Berlin
Heidelberg
:
Imprint
:
Springer
,…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
1
Μορφή
Ηλεκτρονική πηγή
1
Ηλ. βιβλίο
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
1
Συγγραφέας
Hähnle, Reiner
1
Knoop, Jens
1
Margaria, Tiziana
Schreiner, Dietmar
SpringerLink (Online service)
1
Steffen, Bernhard
1
Γλώσσα
English
1
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών