학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 40건 | 목록 30~40
Book
In: Behavioural Types: from Theory to Tools English. (Behavioural Types: from Theory to Tools English, 31 July 2017, :77-98)
Conference
In: ACM International Conference Proceeding Series, CC 2017 - Proceedings of the 26th International Conference on Compiler Construction, co-located with CGO 2017. (ACM International Conference Proceeding Series, 5 February 2017, :98-108)
Conference
In: OpenAccess Series in Informatics. (OpenAccess Series in Informatics, 1 September 2014, 43:vii)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings 3rd Workshop on Behavioural Types, BEAT 2014. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 24 August 2014, 162:19-26)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 12 June 2014, 155:32-37)
Book
In: Trustworthy Global Computing - 8th International Symposium, TGC 2013, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8358 LNCS:22-41)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 8 December 2013, 137:95-102)
Book
In: Runtime Verification - 4th International Conference, RV 2013, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 8174 LNCS:130-148)
Book
In: Runtime Verification - 4th International Conference, RV 2013, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 8174 LNCS:358-363)
검색 결과 제한하기
제한된 항목
[AR] Neykova, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어