학술논문
'학술논문'
에서 검색결과 10건 | 목록
1~10
Academic Journal
In: Journal of Perinatology . (Journal of Perinatology, November 2023, 43(11):1413-1419)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 October 2018, 53(2):221-258)
Academic Journal
In: Sustainable Computing: Informatics and Systems . (Sustainable Computing: Informatics and Systems, 1 March 2015, 5:41-53)
Conference
In: JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs , JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs. (JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs, 2021, :45-47)
Book
In: Information Security Education. Information Security in Action - 13th IFIP WG 11.8 World Conference, WISE 2020, Proceedings . (IFIP Advances in Information and Communication Technology, 2020, 579 IFIP:159-169)
Book
In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12031 LNCS:1-18)
Book
In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11423 LNCS:724-751)
Book
In: Static Analysis - 25th International Symposium, SAS 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11002 LNCS:243-262)
Book
In: Static Analysis - 23rd International Symposium, SAS 2016, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9837 LNCS:257-277)
Book
In: Euro-Par 2014: Parallel Processing - 20th International Conference, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8632 LNCS:608-619)
검색 결과 제한하기
제한된 항목
[AR] Journault, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어