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