학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 396건 | 목록 180~190
Conference
Book
In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7595 LNCS:252-266)
Bibliothèque nationale de France, Département des manuscrits, Rothschild 3366 (2522 b)Cote topographique : Cote topographique : IV, 8, 66
Conference
In: Proceedings - International Test Conference, ITC 2012 - International Test Conference 2012, Proceedings. (Proceedings - International Test Conference, 2012)
Conference
In: Proceedings of the IEEE International Conference on VLSI Design, Proceedings - 25th International Conference on VLSI Design, VLSI Design 2012 - Held Jointly with 11th International Conference on Embedded Systems. (Proceedings of the IEEE International Conference on VLSI Design, 2012, :382-387)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6605 LNCS:276-290)
검색 결과 제한하기
제한된 항목
[검색어] Kupferschmid, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어