학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 68건 | 목록 1~10
Academic Journal
In: Software and Systems Modeling. (Software and Systems Modeling, April 2024, 23(2):319-342)
Academic Journal
In: Theory and Practice of Logic Programming. (Theory and Practice of Logic Programming, 23 November 2021, 21(6):700-716)
Academic Journal
In: Constraints. (Constraints, 15 January 2019, 24(1):56-93)
Academic Journal
In: Fundamenta Informaticae. (Fundamenta Informaticae, 2018, 158(4):297-326)
Conference
First International Conference on Availability, Reliability and Security (ARES'06) Availability, Reliability and Security Availability, Reliability and Security, 2006. ARES 2006. The First International Conference on. :8 pp.-41 2006
Academic Journal
In: Software - Practice and Experience. (Software - Practice and Experience, 1 December 2016, 46(12):1685-1703)
Academic Journal
In: Theory and Practice of Logic Programming. (Theory and Practice of Logic Programming, 3 September 2015, 15(4-5):526-542)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 1 January 2015, 37(1))
검색 결과 제한하기
제한된 항목
[AR] Schachte, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어