학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 25건 | 목록 1~10
Academic Journal
In: Acta Informatica. (Acta Informatica, December 2023, 60(4):361-384)
Conference
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on. :30-39 2002
Conference
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :129-130 2006
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, August 2015, 17(4):457-467)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, February 2012, 14(1):73-93)
Academic Journal
In: Electronic Notes in Theoretical Computer Science. (Electronic Notes in Theoretical Computer Science, 10 December 2008, 220(1):3-14)
Academic Journal
In: Annals of Pure and Applied Logic. (Annals of Pure and Applied Logic, March 2008, 152(1-3):122-131)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, 1 August 2007, 8(4))
Academic Journal
In: Electronic Notes in Theoretical Computer Science. (Electronic Notes in Theoretical Computer Science, 13 July 2007, 185(SPEC. ISS.):33-46)
검색 결과 제한하기
제한된 항목
[AR] Lassaigne, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어