학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 80건 | 목록 70~80
Academic Journal
Biogeosciences Discussions; 2013, Vol. 10 Issue 4, p6335-6375, 43p, 2 Color Photographs, 3 Black and White Photographs, 8 Charts
Academic Journal
Biogeosciences Discussions; 2011, Vol. 8 Issue 4, p6345-6382, 38p
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9953 LNCS:672-687)
Conference
In: CEUR Workshop Proceedings, MASE 2015 - Proceedings of the International Workshop on Modelling in Automotive Software Engineering, co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015. (CEUR Workshop Proceedings, 2015, 1487:43-52)
Academic Journal
In: Future Medicinal Chemistry. (Future Medicinal Chemistry, January 2016, 8(1):55-72)
Conference
In: FORMS/FORMAT 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems. (FORMS/FORMAT 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 2014, :28-37)
검색 결과 제한하기
제한된 항목
[AR] Mauritz, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어