학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 123건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 2024)
Academic Journal
In: Acta Informatica. (Acta Informatica, August 2022, 59(4):321-336)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2023, 272)
Academic Journal
In: Theory of Computing Systems. (Theory of Computing Systems, 2021)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2020, 16(1):24:1-24:29)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13994 LNCS:192-207)
Conference
In: Proceedings - Symposium on Logic in Computer Science, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Proceedings - Symposium on Logic in Computer Science, 2 August 2022)
Academic Journal
In: Theory of Computing Systems. (Theory of Computing Systems, 1 July 2018, 62(5):1241-1268)
Academic Journal
IEEE Transactions on Antennas and Propagation IEEE Trans. Antennas Propagat. Antennas and Propagation, IEEE Transactions on. 33(4):404-408 Apr, 1985
검색 결과 제한하기
제한된 항목
[AR] Cadilhac, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어