학술논문
'학술논문'
에서 검색결과 123건 | 목록
1~10
Academic Journal
IEEE Transactions on Smart Grid IEEE Trans. Smart Grid Smart Grid, IEEE Transactions on. 14(3):2352-2366 May, 2023
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: IForest . (IForest, August 2023, 16(4):210-217)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 305)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 305)
Academic Journal
In: Forests . (Forests, January 2023, 14(1))
Academic Journal
In: Geological Journal . (Geological Journal, January 2023, 58(1):247-263)
Book
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14681 LNCS:42-67)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14571 LNCS:130-151)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14570 LNCS:24-33)
검색 결과 제한하기
제한된 항목
[AR] Holík, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어