학술논문
'학술논문'
에서 검색결과 244건 | 목록
10~20
Academic Journal
In: Nature Structural and Molecular Biology . (Nature Structural and Molecular Biology, February 2023, 30(2):135-139)
Academic Journal
Koller, T.O.; Beckert, B.; Graf, M.; Abdelshahid, M.; Nguyen, F.; Arenz, S.; Wilson, D.N.; Scheid, U.; Herrmann, J.; Krug, D.; Schlemmer, J.; Müller, R.; Kösel, T.; Gille, F.; Siebke, M.; Seedorf, T.; Plettenburg, O.; Warnke, A.-L.; Kirschning, A.; Boshoff, H.I.M.; Sloan, B.; Weiner, D.M.; Via, L.E.; Barry, C.E.; Evans, J.C.; Moosa, A.; Warner, D.F.; Mizrahi, V.; Ioerger, T.R.; Ullrich, J.; Warrass, R.; Zinshteyn, B.; Green, R.
In: Journal of the American Chemical Society . (Journal of the American Chemical Society, 18 January 2023, 145(2):851-863)
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)
Academic Journal
In: Molecular Cell . (Molecular Cell, 15 December 2022, 82(24):4727-4740.e6)
Academic Journal
Morici, M.; Paternoga, H.; Beckert, B.; Wilson, D.N.; Gabrielli, S.; Bock, L.V.; Fujiwara, K.; Chiba, S.
In: Nature Communications . (Nature Communications, December 2024, 15(1))
Conference
Vogel-Heuser, B.; Feldmann, S.; Folmer, J.; Ladiges, J.; Fay, A.; Lity, S.; Tichy, M.; Kowal, M.; Schaefer, I.; Haubeck, C.; Lamersdorf, W.; Kehrer, T.; Getir, S.; Ulbrich, M.; Klebanov, V.; Beckert, B.
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)
주제어
언어