학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 218건 | 목록 30~40
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 6 February 2019, 21(1):87-104)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13704 LNCS:139-158)
Conference
In: IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, 2022 IEEE 25th International Conference on Intelligent Transportation Systems, ITSC 2022. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, 2022, 2022-October:2634-2641)
Book
In: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13465 LNCS:v-vi)
Book
In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13371 LNCS:490-510)
Book
In: Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13274 LNCS:109-128)
Academic Journal
In: Physical Review Accelerators and Beams. (Physical Review Accelerators and Beams, 2017, 20(1))
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 1 August 2016, 18(4):449-467)
Conference
AIP Conference Proceedings. 2018, Vol. 2011 Issue 1, p1-3. 3p.
검색 결과 제한하기
제한된 항목
[AR] Bogomolov, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어