학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 36건 | 목록 1~10
Conference
2018 International Conference on Smart Communications in Network Technologies (SaCoNeT) Smart Communications in Network Technologies (SaCoNeT), 2018 International Conference on. :261-266 Oct, 2018
Academic Journal
Soft Computing - A Fusion of Foundations, Methodologies & Applications. Mar2020, Vol. 24 Issue 6, p4149-4164. 16p.
Conference
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security. :1-12
Conference
Proceedings of the 2002 international symposium on Symbolic and algebraic computation. :221-228
Periodical
International Journal of Information and Communication Technology; 2018, Vol. 13 Issue: 1 p34-54, 21p
Conference
Papers from the international symposium on Symbolic and algebraic computation. :206-215
Book
Software Engineering & Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings; 2014, p317-331, 15p
Book
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings; 2014, p87-102, 16p
검색 결과 제한하기
제한된 항목
[AR] Rioboo, Renaud
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어