학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 27건 | 목록 1~10
Academic Journal
In: Journal of Testing and Evaluation. (Journal of Testing and Evaluation, 1 January 2020, 48(1))
Book
In: "7th RILEM International Conference on Cracking in Pavements : Mechanisms, Modeling, Testing, Detection,Prevention and Case Histories. (RILEM Bookseries, 2012, 4:653-664)
Book
In: Accelerated Pavement Testing to Transport Infrastructure Innovation - Proceedings of 6th APT Conference. (Lecture Notes in Civil Engineering, 2020, 96 LNCE:329-338)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 2002, 29(3-4):337-363)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - ML Family / OCaml Users and Developers Workshops, ML 2015. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 7 February 2017, 241) 2p.
Conference
In: Bearing Capacity of Roads, Railways and Airfields - Proceedings of the 10th International Conference on the Bearing Capacity of Roads, Railways and Airfields, BCRRA 2017, Bearing Capacity of Roads, Railways and Airfields - Proceedings of the 10th International Conference on the Bearing Capacity of Roads, Railways and Airfields, BCRRA 2017. (Bearing Capacity of Roads, Railways and Airfields - Proceedings of the 10th International Conference on the Bearing Capacity of Roads, Railways and Airfields, BCRRA 2017, 2017, :1177-1182)
Book
In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9675:70-85)
검색 결과 제한하기
제한된 항목
[AR] Doligez, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어