e-Article
'e-Article'
searched 265results | List
30~40
Conference
2006 International Conference of the IEEE Engineering in Medicine and Biology Society Engineering in Medicine and Biology Society, 2006. EMBS '06. 28th Annual International Conference of the IEEE. :4151-4154 Aug, 2006
Academic Journal
IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 9(2):137-149 Feb, 1998
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 18 April 2019, 765:158-169)
Conference
In: Proceedings - IEEE International Conference on Robotics and Automation , Proceedings - ICRA 2023: IEEE International Conference on Robotics and Automation. (Proceedings - IEEE International Conference on Robotics and Automation, 2023, 2023-May:1221-1227)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 August 2017, 51(1):62-86)
Conference
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium Parallel and Distributed Processing Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International. :8 pp. 2006
Conference
In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022 , Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 30 June 2022, 36:6755-6764)
Academic Journal
In: Nonlinear Analysis: Hybrid Systems . (Nonlinear Analysis: Hybrid Systems, 1 February 2017, 23:272-286)
Conference
In: 2022 Language Resources and Evaluation Conference, LREC 2022 , 2022 Language Resources and Evaluation Conference, LREC 2022. (2022 Language Resources and Evaluation Conference, LREC 2022, 2022, :2166-2176)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13703 LNCS:97-109)
Refining the search results
Facets
[AR] Smolka, S.A.
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language