학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 29건 | 목록 20~30
Conference
In: Conference Record - IAS Annual Meeting (IEEE Industry Applications Society). (Conference Record - IAS Annual Meeting (IEEE Industry Applications Society), 2000, 2:947-953)
Conference
In: Conference Record - IAS Annual Meeting (IEEE Industry Applications Society). (Conference Record - IAS Annual Meeting (IEEE Industry Applications Society), 2000, 2:1299-1305)
Conference
In: Conference Record - IAS Annual Meeting (IEEE Industry Applications Society). (Conference Record - IAS Annual Meeting (IEEE Industry Applications Society), 1999, 2:1041-1047)
Conference
In: NASA Conference Publication. (NASA Conference Publication, April 1998, (208413):24)
Patent
Patent
Conference
Cousineau, Denis (F-PARIS11-IN) AMS Author Profile; Doligez, Damien (1-MSFT4) AMS Author Profile; Lamport, Leslie (F-INRIA6) AMS Author Profile; Merz, Stephan (1-UCSD-CO) AMS Author Profile; Ricketts, Daniel (F-INRIA6) AMS Author Profile; Vanzetto, Hernán AMS Author Profile
FM 2012: Formal methods (20120101), 147-154.
검색 결과 제한하기
제한된 항목
[AR] Ricketts, Daniel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어