咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
Teaching programming through Multi-Context Physical Computing  29
Teaching Programming through Multi-Context Physical Computin...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Maximova, Alexandra Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland
With the growing demand for computational skills in the job market, it's imperative that lower secondary school students grasp basic programming concepts such as repetition, modularity, conditionals, and variables... 详细信息
来源: 评论
Hybrid Answer Set programming: Foundations and Applications  40
Hybrid Answer Set Programming: Foundations and Applications
收藏 引用
40th International Conference on Logic programming (ICLP)
作者: Ruehling, Nicolas Univ Potsdam Inst Comp Sci An der Bahn 2 D-14476 Potsdam Germany
来源: 评论
Peer Code Review Methods: An Experience Report from a Data Structures and Algorithms Course  2025
Peer Code Review Methods: An Experience Report from a Data S...
收藏 引用
56th Technical Symposium on computer science Education
作者: Koitz-Hristov, Roxane Graz Univ Technol Inst Software Technol Graz Austria
Peer code review is a key practice in professional software development, and its integration into computer science education can provide valuable learning experiences for students. However, few reports compare differe... 详细信息
来源: 评论
Hint Cards for Common Ozobot Robot Issues: Supporting Feedback for Learning programming in Elementary Schools  2024
Hint Cards for Common Ozobot Robot Issues: Supporting Feedba...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Greifenstein, Luisa Heuer, Ute Fraser, Gordon Univ Passau Passau Germany
Computational thinking is gradually being introduced into elementary school curricula, usually accompanied by some form of programming activity. However, even a creative and hands-on activity such as programming Ozobo... 详细信息
来源: 评论
The Effects of Gamification on Learning Outcomes in a Web programming Course  12th
The Effects of Gamification on Learning Outcomes in a Web Pr...
收藏 引用
12th International Conference on Learning Technology for Education Challenges (LTEC)
作者: Rani, Mohamad Firdaus Che Abdul Yunus, Melor Md Mansor, Ahmad Zamri Asia Pacific Univ Technol & Innovat Sch Comp Kuala Lumpur 57000 Malaysia Univ Kebangsaan Malaysia Fac Educ Bangi 43600 Selangor Malaysia
The integration of game design elements into formative assessments, known as Gamified Formative Assessment (GFA), is a promising approach to enhance student engagement and motivation in web programming courses. Howeve... 详细信息
来源: 评论
Towards Generic Parallel programming in computer science Education with Kokkos
Towards Generic Parallel Programming in Computer Science Edu...
收藏 引用
Workshop on Education for High Performance Computing (EduHPC)
作者: Jan Ciesko David Poliakoff Daisy S. Hollman Christian C. Trott Damien Lebrun-Grandié Computer Science Research Institute Sandia National Laboratories Albuquerque NM USA Computer Science Research Institute Sandia National Laboratories Livermore CA USA Computational Sciences and Engineering Oak Ridge National Laboratory Oak Ridge TN USA
Parallel patterns, views, and spaces are promising abstractions to capture the programmer's intent as well as the contextual information that can be used by an underlying runtime to efficiently map software to par... 详细信息
来源: 评论
Automated Extraction of Domain Models from Textbook Indexes for Developing Intelligent Tutoring Systems  19th
Automated Extraction of Domain Models from Textbook Indexes ...
收藏 引用
19th International Conference on Augmented Intelligence and Intelligent Tutoring Systems (ITS)
作者: Banjade, Rabin Oli, Priti Rus, Vasile Univ Memphis Memphis TN 38152 USA
Domain modeling is an important task in designing, developing, and deploying intelligent tutoring systems and other adaptive instructional systems. We focus here on the more specific task of automatically extracting a... 详细信息
来源: 评论
Goliath, a programming Exercises Generator Supported by AI  19
Goliath, a Programming Exercises Generator Supported by AI
收藏 引用
19th Conference on computer science and Intelligence Systems
作者: Freitas, Tiago Carvalho Varanda Pereira, Maria Joao Neto, Alvaro Costa Henriques, Pedro Rangel Univ Minho Algoritme Res Ctr LASI DI Braga Portugal Inst Politec Braganca Res Ctr Digitalizat & Intelligent Robot CeDRI Lab Sustentabilidade Tecnol Regioes Montanha SusT Campus Santa ApoIonia P-5300253 Braganca Portugal Inst Fed Educacao Ciencia Tecnol Sao Paulo Barretos Brazil
The teaching-learning process is complex in nature, requiring many tasks and skills to achieve success in the construction of knowledge. As per any particular kind of cognitive development, teaching and learning Compu... 详细信息
来源: 评论
Embedding Executable Code in programming Slideshows: Design Considerations and Field Tests for Interactive Code Playgrounds  2025
Embedding Executable Code in Programming Slideshows: Design ...
收藏 引用
56th Technical Symposium on computer science Education
作者: Angeli, Lorenzo De Menego, Luca Marchese, Maurizio Univ Trento Povo TN Italy Thema Opt Domegge Di Cadore BL Italy
When students take introductory programming courses in university, they often need to setup a development environment. Development environments enable code execution while also providing a uniform setting for students... 详细信息
来源: 评论
ASM Visualizer: A Learning Tool for Assembly programming  2025
ASM Visualizer: A Learning Tool for Assembly Programming
收藏 引用
56th Technical Symposium on computer science Education
作者: Newhall, Tia Webb, Kevin C. Romea, Isabel Stavis, Emma Matthews, Suzanne J. Swarthmore Coll Swarthmore PA 19081 USA US Mil Acad West Point NY USA
We present ASM Visualizer, a tool that is designed to help students learn assembly programming, aiding in their understanding of how assembly instructions are executed and the relationship between assembly and equival... 详细信息
来源: 评论