학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 98건 | 목록 60~70
Academic Journal
In: Annals of Pure and Applied Logic. (Annals of Pure and Applied Logic, December 1988, 40(3):217-256)
Academic Journal
In: Journal of Differential Equations. (Journal of Differential Equations, November 1981, 42(2):199-214)
Conference
In: CEUR Workshop Proceedings. (CEUR Workshop Proceedings, 2014, 1231:285-289)
Conference
In: Proceedings of SPIE - The International Society for Optical Engineering, Adaptive Optics Systems II. (Proceedings of SPIE - The International Society for Optical Engineering, 2010, 7736(PART 1))
Conference
In: Structural Analysis of Historic Construction: Preserving Safety and Significance - Proceedings of the 6th International Conference on Structural Analysis of Historic Construction, SAHC08, Structural Analysis of Historic Construction: Preserving Safety and Significance - Proceedings of the 6th International Conference on Structural Analysis of Historic Construction, SAHC08. (Structural Analysis of Historic Construction: Preserving Safety and Significance - Proceedings of the 6th International Conference on Structural Analysis of Historic Construction, SAHC08, 2008, 2:1287-1295)
Conference
In: Proceedings of SPIE - The International Society for Optical Engineering, Ground-based and Airborne Telescopes. (Proceedings of SPIE - The International Society for Optical Engineering, 2006, 6267 II)
Conference
In: Proceedings of SPIE - The International Society for Optical Engineering. (Proceedings of SPIE - The International Society for Optical Engineering, 2002, 4838(2):1155-1162)
Conference
In: Proceedings of SPIE - The International Society for Optical Engineering. (Proceedings of SPIE - The International Society for Optical Engineering, 2000, 4006:I/)
Book
In: ZUM 1997: The Z Formal Specification Notation - 10th International Conference of Z Users, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1997, 1212:149-187)
Book
In: CSL 1987 - 1st Workshop on Computer Science Logic, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1988, 329 LNCS:64-80)
검색 결과 제한하기
제한된 항목
[AR] Mazzanti, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어