학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 33건 | 목록 1~10
Academic Journal
In: International Journal of Technology and Design Education. (International Journal of Technology and Design Education, 1 November 2020, 30(5):951-972)
Conference
In: CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 11 January 2023, :121-134)
Conference
In: ICAS 2021 - 2021 IEEE International Conference on Autonomous Systems, Proceedings, ICAS 2021 - 2021 IEEE International Conference on Autonomous Systems, Proceedings. (ICAS 2021 - 2021 IEEE International Conference on Autonomous Systems, Proceedings, 11 August 2021)
Academic Journal
In: International Journal of Technology and Design Education. (International Journal of Technology and Design Education, 1 May 2015, 25(2):151-167)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
Academic Journal
In: Interaction Design and Architecture(s). (Interaction Design and Architecture(s), 1 June 2014, 21(1):86-100)
Academic Journal
In: Discourse Studies. (Discourse Studies, December 2013, 15(6):761-775)
Conference
In: CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020. (CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, 20 January 2020, :353-366)
Book
In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12236 LNAI:251-267)
Book
Handboek Jeugdzorg Deel 1; 2005, p279-291, 13p
검색 결과 제한하기
제한된 항목
[AR] van Doorn, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어