학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 32건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, April 2023, 25(2):205-218)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, December 2021, 59(1-3):170-204)
Academic Journal
In: Padiatrische Praxis. (Padiatrische Praxis, 2021, 95(2):187-197)
Academic Journal
European Journal of Clinical Investigation. Oct2001, Vol. 31 Issue 10, p865. 11p. 12 Black and White Photographs, 5 Diagrams, 2 Charts, 9 Graphs.
Periodical
In: Galvanotechnik. (Galvanotechnik, June 2020, 111(6):908-911)
Book
In: Bionanotechnology: Emerging Applications of Bionanomaterials. (Bionanotechnology: Emerging Applications of Bionanomaterials, 1 January 2022, :357-397)
Conference
In: MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things, MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things. (MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things, 18 May 2021, :17-22)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12652 LNCS:365-372)
Conference
In: HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week, HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week. (HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week, 22 April 2020)
Book
In: Runtime Verification - 20th International Conference, RV 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12399 LNCS:451-461)
검색 결과 제한하기
제한된 항목
[AR] Schwenger, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어