학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 13건 | 목록 1~10
Academic Journal
In: Service Oriented Computing and Applications. (Service Oriented Computing and Applications, September 2022, 16(3):209-225)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 1 December 2019, 21(6):613-633)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, August 2019, 106:1-28)
Academic Journal
In: Journal of Systems and Software. (Journal of Systems and Software, March 2019, 149:535-553)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 1 March 2019, 172:27-47)
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 24th ACM Conference on Systems and Software Product Line, SPLC 2020. (ACM International Conference Proceeding Series, 19 October 2020, Part F164267-A:47-52)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12477 LNCS:55-71)
Book
In: Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12054 LNCS:3-18)
Book
In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12018 LNCS:147-169)
Conference
In: GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018, GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. (GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018, 5 November 2018, :119-133)
검색 결과 제한하기
제한된 항목
[AR] Luthmann, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어