학술논문
'학술논문'
에서 검색결과 123건 | 목록
1~10
Academic Journal
Jacobs, S.; Finkbeiner, B.; Pérez, G.A.; Abraham, R.; van Dijk, T.; Bruyère, V.; Delfosse, C.; Staquet, G.; Tamines, C.; Cadilhac, M.; Colange, M.; Duret-Lutz, A.; Michaud, T.; Pommellet, A.; Renkin, F.; Schlehuber-Caissier, P.; Faymonville, P.; Klein, F.; Tentrup, L.; Khalimov, A.; Luttenberger, M.; Meyer, K.; Sickert, S.; Sakr, M.; Walker, A.
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
Beaugerie, L.; Flahault, A.; Barbut, F.; Atlan, P.; Lalande, V.; Cousin, P.; Cadilhac, M.; Petit, J.‐C.
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)
주제어
언어