학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 244건 | 목록 10~20
Academic Journal
In: Nature Structural and Molecular Biology. (Nature Structural and Molecular Biology, February 2023, 30(2):135-139)
Conference
In: OpenAccess Series in Informatics, 5th International Workshop on Formal Methods for Blockchains, FMBC 2024. (OpenAccess Series in Informatics, May 2024, 118)
Conference
In: Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024, Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024. (Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024, 14 April 2024, :1-11)
Conference
2015 IEEE 13th International Conference on Industrial Informatics (INDIN) Industrial Informatics (INDIN), 2015 IEEE 13th International Conference on. :314-321 Jul, 2015
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence. (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(14):15337-15345)
Conference
In: Proceedings - 2024 IEEE International Conference on Quantum Software, QSW 2024, Proceedings - 2024 IEEE International Conference on Quantum Software, QSW 2024. (Proceedings - 2024 IEEE International Conference on Quantum Software, QSW 2024, 2024, :99-106)
Conference
In: MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop, MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop. (MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop, 2024, :186-195)
검색 결과 제한하기
제한된 항목
[AR] Beckert, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어