학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 43건 | 목록 20~30
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 13 June 2015, 46(3):197-225)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 34th European Conference on Object-Oriented Programming, ECOOP 2020. (Leibniz International Proceedings in Informatics, LIPIcs, 1 November 2020, 166)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 27 August 2020, 322)
Conference
In: ACM International Conference Proceeding Series, Proceedings of EASE 2020 - Evaluation and Assessment in Software Engineering. (ACM International Conference Proceeding Series, 15 April 2020, :110-119)
Book
In: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12134 LNCS:127-136)
Conference
In: AIP Conference Proceedings, 10th Jubilee Conference of the Balkan Physical Union. (AIP Conference Proceedings, 26 February 2019, 2075)
Conference
In: 19th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes, Harmo 2019, 19th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes, Harmo 2019. (19th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes, Harmo 2019, 2019)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11665 LNCS:236-259)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 291)
Conference
In: CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. (CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018, 24 February 2018, 2018-February:128-138)
검색 결과 제한하기
제한된 항목
[AR] Neykova, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어