학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
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)
주제어
언어