학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 14건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, June 2023, 25(3):355-374)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, June 2023, 25(3):301-327)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, June 2023, 25(3):287-299)
Conference
In: CGO 2024 - Proceedings of the 2024 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024 - Proceedings of the 2024 IEEE/ACM International Symposium on Code Generation and Optimization. (CGO 2024 - Proceedings of the 2024 IEEE/ACM International Symposium on Code Generation and Optimization, 2024, :106-118)
Conference
In: PESS 2021 - Power and Energy Student Summit, Conference Proceedings, PESS 2021 - Power and Energy Student Summit, Conference Proceedings. (PESS 2021 - Power and Energy Student Summit, Conference Proceedings, 2022, :23-27)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13244 LNCS:314-331)
Book
In: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12597 LNCS:29-51)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11865 LNCS:313-337)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11429 LNCS:101-115)
Electronic Resource
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III; Lecture Notes in Computer Science; 101; 115; 9783030175023; 0302-9743; Lecture Notes in Computer Science ; 11429; Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III~Lecture Notes in Computer Science~101~115~~9783030175023~0302-9743~~~Lecture Notes in Computer Science ; 11429~
검색 결과 제한하기
제한된 항목
[AR] Murtovi, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어