Showing
1 - 5
results of
5
for search '
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Suggested Topics:
Modal and temporal logics
Reset Filters
Show filters (1)
Suggested Topics:
Modal and temporal logics
Search Results
Showing
1 - 5
results of
5
for search '
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Published 2007
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Published 2011
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
3
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
Published 2016
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
4
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Published 2018
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
5
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Published 2020
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Institution
HEAL-Link
5
Format
Electronic
5
eBook
5
Conference Proceeding
4
Author
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
see all…
Language
English
5
Year of Publication
From:
To:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών