Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Προτεινόμενα θέματα:
Modal and temporal logics
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Προτεινόμενα θέματα:
Modal and temporal logics
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Έκδοση 2007
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Έκδοση 2011
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
3
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
Έκδοση 2016
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
4
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Έκδοση 2018
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
5
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Έκδοση 2020
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Πρακτικό Συνεδρίου
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
HEAL-Link
5
Μορφή
Ηλεκτρονική πηγή
5
Ηλ. βιβλίο
5
Πρακτικό Συνεδρίου
4
Συγγραφέας
Association for Computing Machinery-Digital Library
5
ACM Special Interest Group on Embedded Systems
3
Abate, Alessandro
1
Ames, Aaron
1
Apt, Krzysztof R.
1
HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control Porto Portugal
1
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control Sydney New South Wales Australia
1
HSCC'16: 19th International Conference on Hybrid Systems: Computation and Control Vienna Austria
1
Samet, Dov
1
TARK XIII: Thirteenth conference on Theoretical Aspects of Rationality and Knowledge Groningen The Netherlands
1
Προβολή όλων…
Γλώσσα
English
5
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών