학술논문
'학술논문'
에서 검색결과 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)
주제어
언어