학술논문
'학술논문'
에서 검색결과 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)
주제어
언어