咨询与建议

限定检索结果

文献类型

  • 81,302 篇 会议
  • 30,391 篇 期刊文献
  • 7,427 册 图书
  • 1,643 篇 学位论文
  • 201 篇 科技报告
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,854 篇 电子文献
  • 212 种 纸本馆藏

日期分布

学科分类号

  • 77,130 篇 工学
    • 66,894 篇 计算机科学与技术...
    • 46,401 篇 软件工程
    • 7,486 篇 控制科学与工程
    • 7,144 篇 电气工程
    • 6,560 篇 信息与通信工程
    • 2,773 篇 机械工程
    • 2,642 篇 电子科学与技术(可...
    • 2,097 篇 生物工程
    • 1,455 篇 生物医学工程(可授...
    • 1,281 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,117 篇 材料科学与工程(可...
    • 1,110 篇 建筑学
    • 1,049 篇 土木工程
    • 1,029 篇 化学工程与技术
    • 771 篇 交通运输工程
  • 27,343 篇 理学
    • 21,251 篇 数学
    • 3,372 篇 系统科学
    • 2,967 篇 物理学
    • 2,956 篇 生物学
    • 2,952 篇 统计学(可授理学、...
    • 1,093 篇 化学
  • 13,188 篇 管理学
    • 8,906 篇 管理科学与工程(可...
    • 4,493 篇 图书情报与档案管...
    • 4,015 篇 工商管理
  • 8,062 篇 教育学
    • 7,916 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,414 篇 经济学
    • 1,358 篇 应用经济学
  • 1,381 篇 医学
    • 1,024 篇 临床医学
    • 807 篇 基础医学(可授医学...
  • 920 篇 农学
  • 375 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,330 篇 computer science
  • 7,418 篇 programming
  • 4,402 篇 computer program...
  • 4,373 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,899 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,081 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,637 篇 software enginee...
  • 2,581 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,026 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,894 篇 optimization

机构

  • 420 篇 massachusetts in...
  • 82 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 47 篇 department of co...
  • 47 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 东南大学
  • 45 篇 department of el...
  • 44 篇 school of comput...
  • 43 篇 college of compu...
  • 43 篇 tsinghua univers...
  • 42 篇 school of comput...
  • 41 篇 institute of inf...
  • 41 篇 univ michigan an...
  • 41 篇 huazhong univers...
  • 41 篇 georgia inst tec...
  • 41 篇 department of co...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 44 篇 luxton-reilly an...
  • 40 篇 bernhard steffen
  • 39 篇 bing xue
  • 34 篇 yao xin
  • 30 篇 niyato dusit
  • 30 篇 wang lei
  • 29 篇 kumar amruth n.
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 zhang lei
  • 28 篇 mengjie zhang
  • 27 篇 jin zhi
  • 27 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 23 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 111,655 篇 英文
  • 6,078 篇 中文
  • 3,036 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120972 条 记 录,以下是211-220 订阅
排序:
Security Challenges of Intent-Based Networking
收藏 引用
Communications of the ACM 2024年 第7期67卷 56-65页
作者: Kim, Jiwon Okhravi, Hamed Tian, Dave Jing Ujcich, Benjamin E. Department of Computer Science Purdue University West LafayetteIN United States MIT Lincoln Laboratory LexingtonMA United States Department of Computer Science Georgetown University WashingtonDC United States
computer SYSTEMS HAVE evolved over decades to enable more flexible programmability. Unsurprisingly, such programmability has converged more closely to how humans think and speak. This is perhaps best exemplified in th... 详细信息
来源: 评论
Iris: An AI-Driven Virtual Tutor For computer science Education  29
Iris: An AI-Driven Virtual Tutor For Computer Science Educat...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Bassner, Patrick Frankford, Eduard Krusche, Stephan Tech Univ Munich Munich Germany Univ Innsbruck Innsbruck Austria
Integrating AI-driven tools in higher education is an emerging area with transformative potential. This paper introduces Iris, a chat-based virtual tutor integrated into the interactive learning platform Artemis that ... 详细信息
来源: 评论
Measuring the Technological Pedagogical Content Knowledge (TPACK) of in-service teachers of computer science who teach algorithms and programming in upper secondary education
arXiv
收藏 引用
arXiv 2021年
作者: Doukakis, Spyros Psaltidou, Alexandra Stavraki, Athena Adamopoulos, Nikos Tsiotakis, Panagiotis Stergou, Stathis Dept. of Primary Education University of the Aegean Greece The American College of Greece Pierce College United States ICT Center of Primary and Secondary Education of Ileia ICT Center of Primary and Secondary Education of Korinthia 1st Lyceum of Rhodes Greece
Based on the Technological Pedagogical and Content Knowledge (TPACK) framework (Mishra & Koehler, 2006) and the Schmidt et al. (2009) instrument which explore TPACK, this study examines a national sample of 1032 s... 详细信息
来源: 评论
Risk-Based Design Optimization via Scenario Generation and Genetic programming Under Hybrid Uncertainties
收藏 引用
JOURNAL OF COMPUTING AND INFORMATION science IN ENGINEERING 2024年 第10期24卷 101001-101001页
作者: Li, Wei Zhou, Xiaowei Huang, Haihong Garg, Akhil Gao, Liang Hefei Univ Technol Sch Mech Engn Hefei 230009 Peoples R China Huazhong Univ Sci & Technol Sch Mech Sci & Engn State Key Lab Digital Mfg Equipment & Technol Wuhan 430074 Peoples R China
The design of complex systems often requires the incorporation of uncertainty optimization strategies to mitigate system failures resulting from multiple uncertainties during actual operation. Risk-based design optimi... 详细信息
来源: 评论
Kattis vs ChatGPT: Assessment and Evaluation of programming Tasks in the Age of Artificial Intelligence  24
Kattis vs ChatGPT: Assessment and Evaluation of Programming ...
收藏 引用
14th Annual International Conference on Learning Analytics and Knowledge (LAK) - Learning Analytics in the Age of Artificial Intelligence
作者: Dunder, N. Lundborg, S. Wong, J. Viberg, O. KTH Royal Inst Technol Stockholm Sweden Univ Utrecht Hekla Netherlands
AI-powered education technologies can support students and teachers in computer science education. However, with the recent developments in generative AI, and especially the increasingly emerging popularity of ChatGPT... 详细信息
来源: 评论
Idea Builder: Motivating Idea Generation and Planning for Open-Ended programming Projects through Storyboarding  2024
Idea Builder: Motivating Idea Generation and Planning for Op...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Wang, Wengran Limke, Ally Bobbadi, Mahesh Isvik, Amy Catete, Veronica Barnes, Tiffany Price, Thomas W. North Carolina State Univ Raleigh NC USA
In computing classrooms, building an open-ended programming project engages students in the process of designing and implementing an idea of their own choice. An explicit planning process has been shown to help studen... 详细信息
来源: 评论
Why Female Students Are Dropping out of CS Programs  29
Why Female Students Are Dropping out of CS Programs
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Altin, Rukiye Muehling, Andreas Univ Kiel Kiel Germany Univ Kiel Leibniz Inst Sci & Math Educ Kiel Germany
Worldwide, women are underrepresented in computer science. The differences between the numbers of male and female graduates from computer science programs are undeniable. This study examines how several previously rep... 详细信息
来源: 评论
Code Interviews: Design and Evaluation of a More Authentic Assessment for Introductory programming Assignments  2025
Code Interviews: Design and Evaluation of a More Authentic A...
收藏 引用
56th Technical Symposium on computer science Education
作者: Kannam, Suhas Yang, Yuri Dharm, Aarya Lin, Kevin Univ Washington Seattle WA 98195 USA
Generative artificial intelligence poses new challenges around assessment, increasingly driving introductory programming educators to employ invigilated exams. But exams do not afford more authentic programming experi... 详细信息
来源: 评论
A Learning Theory of programming Language Acquisition  29
A Learning Theory of Programming Language Acquisition
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Zabner, David Tufts Univ Medford MA 02155 USA
CS education lacks sufficiently robust and specific theories of learning for programming language acquisition (PLA) to guide pedagogical design, assessment of students' learning, and research programs. In designin... 详细信息
来源: 评论
Which aspects are relevant for evaluating programming tools? Perspectives of teacher educators and teachers  24
Which aspects are relevant for evaluating programming tools?...
收藏 引用
19th WiPSCE Conference on Primary and Secondary Computing Education Research (WiPSCE)
作者: Weissenrieder, Felix Scheppach, Lukas Leibniz Inst Sci & Math Educ Kiel Germany
Teaching programming requires the use of a programming tool (PT) for the classroom. Utilising the strengths of said PT and offsetting its weaknesses requires teachers to analyse the PT taking into account both specifi... 详细信息
来源: 评论