학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 91건 | 목록 1~10
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:387-392)
Book
In: Static Analysis - 30th International Symposium, SAS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14284 LNCS:84-113)
Conference
Proceedings of the 1997 Particle Accelerator Conference (Cat. No.97CH36167) Particle accelerator conference Particle Accelerator Conference, 1997. Proceedings of the 1997. 1:982-984 vol.1 1997
Conference
Proceedings of the 1997 Particle Accelerator Conference (Cat. No.97CH36167) Particle accelerator conference Particle Accelerator Conference, 1997. Proceedings of the 1997. 1:979-981 vol.1 1997
Academic Journal
In: Journal of Human Nutrition and Dietetics. (Journal of Human Nutrition and Dietetics, December 2013, 26(6):606-611)
Conference
In: Proceedings of the IEEE Particle Accelerator Conference. (Proceedings of the IEEE Particle Accelerator Conference, 1998, 1:979-981)
Conference
In: Proceedings of the IEEE Particle Accelerator Conference. (Proceedings of the IEEE Particle Accelerator Conference, 1998, 1:982-984)
검색 결과 제한하기
제한된 항목
[AR] Boillot, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어