학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 127건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 20 June 2024, 8)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, 21 July 2022, 34(1))
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :89-96 Sep, 2015
Conference
2014 International Science and Technology Conference (Modern Networking Technologies) (MoNeTeC) Science and Technology Conference (Modern Networking Technologies) (MoNeTeC), 2014 International. :1-4 Oct, 2014
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:26-41)
Conference
In: Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024, Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024. (Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024, 2024, :859-875)
Conference
In: Proceedings - Design Automation Conference, 2023 60th ACM/IEEE Design Automation Conference, DAC 2023. (Proceedings - Design Automation Conference, 2023, 2023-July)
Book
In: Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14132 LNAI:41-60)
Conference
In: Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023, Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023. (Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023, 2023, :515-529)
Book
In: Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13881 LNCS:91-105)
검색 결과 제한하기
제한된 항목
[AR] Bjørner, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어