학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 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: ACM Transactions on Privacy and Security. (ACM Transactions on Privacy and Security, 13 March 2023, 26(2))
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:62-81)
Conference
In: QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing. (QuNet 2023 - Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, 10 September 2023, :7-12)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, 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), 2023, 13993 LNCS:126-144)
Conference
In: Proceedings - Design Automation Conference, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. (Proceedings - Design Automation Conference, 5 December 2021, 2021-December:541-546)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12478 LNCS:178-194)
Book
In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10623 LNCS:107-124)
검색 결과 제한하기
제한된 항목
[AR] Otoni, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어