학술논문
'학술논문'
에서 검색결과 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)
주제어
언어