학술논문
'학술논문'
에서 검색결과 216건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2021, 5(OOPSLA))
Academic Journal
Nestle, U.; Schimek-Jasch, T.; Rischke, H.C.; Gkika, E.; Adebahr, S.; Grosu, A.-L.; Mix, M.; Küsters, A.; Kremp, S.; Fleckenstein, J.; Schaefer-Schuler, A.; Tosch, M.; Hehr, T.; Eschmann, S.M.; Bultel, Y.-P.; Hass, P.; Thieme, A.; Stockinger, M.; Miederer, M.; König, J.; Dieckmann, K.; Holl, G.; Grosu, A.L.; Weber, W.; Meyer, P.; Hoffmanns, H.; Nestle, U.; Aurisch, R.; Schäfer, W.; Hehr, T.; Eschmann, S.M.; Dornoff, W.; Siekmeyer, B.; Trampert, L.; Gademann, G.; Brunner, T.; Amthauer, A.; Ricke, J.; Pech, M.; Rübe, C.; Kirsch, C.M.; Ezzidin, S.; Schmidberger, H.; Schreckenberger, M.; Bamberg, M.; Zips, D.; Bares, R.; La Fougere, C.; Budach, V.; Brenner, W.; Beck, M.; Freiherr von Gumppenberg, R.; Aebersold, D.; Krause, T.; Feldmann, H.J.; Hertel, A.; Stüben, G.; Sciuk, J.; Annweiler, H.; Holl, G.; Oehler, W.; Schlöcker, I.; Baum, R.; Kimmig, B.; Dunst, J.; Henze, E.; Lützen, U.; Schwaiger, M.; Strehle, K.; Alberti, W.; Piroth, M.; Tosch, M.; Pötter, R.; Widder, J.; Herold, C.; Freund, U.; Momm, F.; Sautter-Bihl, M.L.; Tatsch, K.; Hildebrandt, G.; Krause, B.
In: The Lancet Oncology . (The Lancet Oncology, April 2020, 21(4):581-592)
Academic Journal
IEEE Control Systems IEEE Control Syst. Control Systems, IEEE. 23(1):50-64 Feb, 2003
Academic Journal
Proceedings of the IEEE Proc. IEEE Proceedings of the IEEE. 91(1):84-99 Jan, 2003
Academic Journal
IEEE Transactions on Nuclear Science IEEE Trans. Nucl. Sci. Nuclear Science, IEEE Transactions on. 46(4):1024-1031 Aug, 1999
Conference
Alur, R.; de Alfaro, L.; Grosu, R.; Henzinger, T.A.; Kang, M.; Kirsch, C.M.; Majumdar, R.; Mang, F.; Wang, B.Y.
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Software engineering. ICSE 2001 Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on. :835-836 2001
Academic Journal
In: Diagnostic Microbiology and Infectious Disease . (Diagnostic Microbiology and Infectious Disease, June 2018, 91(2):147-152)
Conference
20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219) Digital avionics Digital Avionics Systems, 2001. DASC. 20th Conference. 2:6A1/1-6A1/11 vol.2 2001
Conference
In: Proceedings of the ACM SIGMOD International Conference on Management of Data , SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. (Proceedings of the ACM SIGMOD International Conference on Management of Data, 10 June 2022, :1584-1597)
Academic Journal
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, October 2015, 50(10):451-469)
검색 결과 제한하기
제한된 항목
[AR] Kirsch, C.M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어