학술논문
'학술논문'
에서 검색결과 63건 | 목록
1~10
Academic Journal
In: Constraints . (Constraints, March 2023, 28(1):45-66)
Academic Journal
In Performance Evaluation 2011 68(1):21-44
Academic Journal
In: Information Systems . (Information Systems, February 2022, 104)
Conference
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :211-220 2006
Conference
Second International Conference on the Quantitative Evaluation of Systems (QEST'05) Quantitative Evaluation of Systems Quantitative Evaluation of Systems, 2005. Second International Conference on the. :23-32 2005
Conference
In: Proceedings of the ACM Symposium on Applied Computing , Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023. (Proceedings of the ACM Symposium on Applied Computing, 27 March 2023, :1486-1489)
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 September 2019, 183)
Conference
In: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS , Proceedings - 2023 27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2023, :197-206)
Conference
In: CEUR Workshop Proceedings , PoS 2023 - Proceedings of the 14th International Workshop on Pragmatics of SAT, co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. (CEUR Workshop Proceedings, 2023, 3545:35-45)
Book
In: Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13881 LNCS:252-266)
검색 결과 제한하기
제한된 항목
[AR] Baarir, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어