KOR

e-Article

Publication date
-
(ex : 2010-2015)
'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
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