학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 323건 | 목록 170~180
Academic Journal
In: Studia Geophysica et Geodaetica. (Studia Geophysica et Geodaetica, 1996, 40(2):152-160)
Academic Journal
In: High Temperature Materials and Processes. (High Temperature Materials and Processes, April 1995, 14(3):193-206)
Academic Journal
In: Materials Science and Engineering A. (Materials Science and Engineering A, 15 June 1994, 183(1-2):11-22)
Academic Journal
In: High Temperature Materials and Processes. (High Temperature Materials and Processes, December 1994, 13(4):327-338)
Conference
In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, 2 July 2018, :112-120)
Academic Journal
In: Studia Geophysica et Geodaetica. (Studia Geophysica et Geodaetica, June 1989, 33(2):177-197)
Academic Journal
In: Acta Technica CSAV (Ceskoslovensk Akademie Ved). (Acta Technica CSAV (Ceskoslovensk Akademie Ved), 1986, 31(6):639-662)
Academic Journal
In: Res Mechanica: International Journal of Structural Mechanics and Materials Science. (Res Mechanica: International Journal of Structural Mechanics and Materials Science, 1985, 15(2):129-149)
Academic Journal
In: physica status solidi (a). (physica status solidi (a), 16 November 1979, 56(1):305-313)
Book
In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9938 LNCS:512-527)
검색 결과 제한하기
제한된 항목
[Author] Čadek M
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어