학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 6건 | 목록 1~10
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 27th International Conference on Principles and Practice of Constraint Programming, CP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 October 2021, 210)
Conference
In: Proceedings of the IEEE Conference on Decision and Control, 60th IEEE Conference on Decision and Control, CDC 2021. (Proceedings of the IEEE Conference on Decision and Control, 2021, 2021-December:7136-7141)
Conference
In: NSAD 2020 - Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2020, NSAD 2020 - Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2020. (NSAD 2020 - Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2020, 17 November 2020, :2-11)
Book
In: Formal Methods. FM 2019 International Workshops - Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12233 LNCS:119-135)
Book
In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11008 LNCS:420-435)
Conference
In: Treiziemes Journees Francophones de Programmation par Contraintes, JFPC 2017, Treiziemes Journees Francophones de Programmation par Contraintes, JFPC 2017. (Treiziemes Journees Francophones de Programmation par Contraintes, JFPC 2017, 2017, :213-222)
검색 결과 제한하기
제한된 항목
[AR] Ziat, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어