학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 1~10
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. (Leibniz International Proceedings in Informatics, LIPIcs, February 2024, 288)
Book
In: Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13992 LNCS:541-560)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 December 2022, 250)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 229)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 February 2022, 216)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 December 2021, 213)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. (Leibniz International Proceedings in Informatics, LIPIcs, December 2019, 150)
Book
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 3rd International Conference, RSSRail 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11495 LNCS:59-76)
검색 결과 제한하기
제한된 항목
[AR] Bordais, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어