학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 55건 | 목록 1~10
Periodical
ACM SIGPLAN Notices; 20240101, Issue: Preprints p323-334, 12p
Conference
Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278) Object-oriented languages and systems Technology of Object-Oriented Languages and Systems, 1999. TOOLS 30 Proceedings. :268-277 1999
Conference
ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220) Communications Communications, 1998. ICC 98. Conference Record. 1998 IEEE International Conference on. 2:880-884 vol.2 1998
Academic Journal
In: Knowledge Engineering Review. (Knowledge Engineering Review, 2020)
Conference
Proceedings of 1994 IEEE 10th International Conference on Data Engineering Data Engineering, 1994. Proceedings.10th International Conference. :180-189 1994
Conference
In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023, 2023-May:2637-2639)
Book
In: Intelligent Computing - Proceedings of the 2022 Computing Conference. (Lecture Notes in Networks and Systems, 2022, 507 LNNS:45-58)
Book
In: NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13260 LNCS:557-575)
Academic Journal
In: Higher-Order and Symbolic Computation. (Higher-Order and Symbolic Computation, November 2010, 23(4):433-463)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, March 2004, 26(2):370-412)
검색 결과 제한하기
제한된 항목
[AR] Lieberherr, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어