학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 145건 | 목록 120~130
Conference
In: Lecture Notes in Computer Science, Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. (Lecture Notes in Computer Science, 2005, 3576:164-169)
Conference
In: Lecture Notes in Computer Science, FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Proceedings. (Lecture Notes in Computer Science, 2005, 3582:512-528)
Conference
In: Lecture Notes in Computer Science, Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. (Lecture Notes in Computer Science, 2005, 3576:296-300)
Conference
In: Proceedings - Design Automation Conference, Proceedings 2005, 42nd Design Automation Conference, DAC 2005. (Proceedings - Design Automation Conference, 2005, :445-450)
Book
In: Integrated Formal Methods - 5th International Conference, IFM 2005, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3771 LNCS:53-69)
Book
In: FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2021 LNCS:611-628)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2029:318-332)
Academic Journal
IET Software (Institution of Engineering & Technology). Dec2008, Vol. 2 Issue 6, p475-476. 2p.
Academic Journal
In: IET Software. (IET Software, 2008, 2(6):475-476)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, December 2005, 17(4):461-483)
검색 결과 제한하기
제한된 항목
[AR] Sharygina, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어