학술논문
'학술논문'
에서 검색결과 519건 | 목록
1~10
Report
Leveraging Applications of Formal Methods, Verification and Validation. 11th International Symposium, ISoLA 2022, 2022, Rhodes, Greece. pp.88-105
Academic Journal
Journal of Optimization Theory and Applications. :1-27
Report
Logical Methods in Computer Science, Volume 19, Issue 1 (March 6, 2023) lmcs:8860
Conference
2018 International Conference on Applied Mathematics & Computational Science (ICAMCS.NET) ICAMCS.NET Applied Mathematics & Computational Science (ICAMCS.NET), 2018 International Conference on. :129-1294 Oct, 2018
Report
Logical Methods in Computer Science, Volume 19, Issue 1 (January 18, 2023) lmcs:6947
검색 결과 제한하기
제한된 항목
[검색어] Konnov, Igor
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어