학술논문
'학술논문'
에서 검색결과 50건 | 목록
1~10
Conference
2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :170-178 Oct, 2022
Academic Journal
DARABONT, Roxana Oana; ENE, Cristian; NICULA, Alina Ioana; BADIU, Catalin Constantin; VINEREANU, Dragos
Academic Journal
Academic Journal
In Theoretical Computer Science 25 January 2016 612:102-125
Conference
2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC) FDTC Fault Detection and Tolerance in Cryptography (FDTC), 2020 Workshop on. :26-34 Sep, 2020
Report
Logical Methods in Computer Science, Volume 17, Issue 1 (February 12, 2021) lmcs:5779
Academic Journal
Academic Journal
In Journal of Logic and Algebraic Programming 2005 65(1):1-35
Academic Journal
Ene, Cristian; Ruta, Lavinia; Nicolau, Ioana; Popa, Claudia; Iordache, Virgil; Neagoe, Aurora; Farcasanu, Ileana
검색 결과 제한하기
제한된 항목
[AR] Ene, Cristian
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어