Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Katoen, Jost-Pieter
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Katoen, Jost-Pieter
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Katoen, Jost-Pieter
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
Έκδοση 1999
Άλλοι συγγραφείς:
“…
Katoen
,
Jost
-
Pieter
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer Engineering
Computer engineering
Computer logic
Computers
Logics and Meanings of Programs
Software Engineering
Software Engineering/Programming and Operating Systems
Software engineering
Special Purpose and Application-Based Systems
Special purpose computers
Theory of Computation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών