학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 146건 | 목록 1~10
Academic Journal
IEEE Control Systems Letters IEEE Control Syst. Lett. Control Systems Letters, IEEE. 7:2881-2885 2023
Academic Journal
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 48(6):1965-1978 Jun, 2022
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, December 2023, 25(5-6):765-784)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 35th International Conference on Concurrency Theory, CONCUR 2024. (Leibniz International Proceedings in Informatics, LIPIcs, September 2024, 311)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 306)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14574 LNCS:13-33)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14574 LNCS:55-78)
Academic Journal
In: Autonomous Agents and Multi-Agent Systems. (Autonomous Agents and Multi-Agent Systems, October 2021, 35(2))
Academic Journal
IEEE Transactions on Robotics IEEE Trans. Robot. Robotics, IEEE Transactions on. 31(3):591-604 Jun, 2015
Conference
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) Logic in Computer Science, 2006 21st Annual IEEE Symposium on. :255-264 2006
검색 결과 제한하기
제한된 항목
[AR] Piterman, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어