학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 19,902건 | 목록 170~180
Book
Software Business. From Physical Products to Software Services & Solutions; 2013, p13-25, 13p
Academic Journal
ACM Transactions on Programming Languages and Systems (TOPLAS). 18(3):268-299
Book
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change; 2012, p608-614, 7p
Book
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change; 2012, p591-607, 17p
Book
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change; 2012, p587-590, 4p
Book
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change; 2012, p554-571, 18p
Book
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change; 2012, p79-96, 18p
Book
Fundamental Approaches to Software Engineering (9783642288715); 2012, p94-98, 5p
Book
Conquering Complexity; 2012, p407-429, 23p
Book
Conquering Complexity; 2012, p217-236, 20p
검색 결과 제한하기
제한된 항목
[AR] Steffen, Bernhard
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어