咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
An Examination of the Correlation of Exploring computer science Course Performance and the Development of programming Expertise  19
An Examination of the Correlation of Exploring Computer Scie...
收藏 引用
50th ACM-SIGCSE Technical Symposium on computer science Education (SIGCSE)
作者: McGee, Steven Greenberg, Ronald, I McGee-Tekula, Randi Duck, Jennifer Rasmussen, Andrew M. Dettori, Lucia Reed, Dale F. Learning Partnership Chicago IL 60558 USA Loyola Univ Chicago IL 60611 USA Chicago Publ Sch Chicago IL USA Univ Illinois Chicago IL USA
This study investigated patterns in the development of computational thinking and programming expertise in the context of the Exploring computer science (ECS) program, a high school introductory CS course and professi... 详细信息
来源: 评论
An outcome space algorithm for solving general linear multiplicative programming
收藏 引用
INTERNATIONAL JOURNAL OF computer MATHEMATICS 2025年 第2期102卷 262-279页
作者: Zhang, Yanzhen Shen, Peiping Henan Normal Univ Coll Math & Informat Sci Xinxiang 453007 Peoples R China North China Univ Water Resources & Elect Power Sch Math & Stat Zhengzhou 450046 Peoples R China
The following article presents and corroborates an outcome space branch-and-bound algorithm for solving the general linear multiplicative programming problem (GLMPP). In this new algorithm, GLMPP is transformed into i... 详细信息
来源: 评论
Effectively Matching programming Languages to Introductory programming Teaching Paradigms  9th
Effectively Matching Programming Languages to Introductory P...
收藏 引用
9th International Congress on Information and Communication Technology (ICICT)
作者: Abah, Ojoniko Nathan Tennyson, Matthew F. Ind Training Serv Murray KY 42071 USA Murray State Univ Murray KY 42071 USA
The reach of technology stretches across a wide variety of domains: from the health industry to entertainment and gaming. Software programming undoubtedly plays a major role in modern technology. Therefore, computer s... 详细信息
来源: 评论
programming-Integrated Mathematics Learning for Future Elementary Teachers and Non-STEM Majors  2024
Programming-Integrated Mathematics Learning for Future Eleme...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Park, Hyejin Manley, Eric D. Drake Univ Des Moines IA 50311 USA
With the rising emphasis on computer science (CS) education, many states, school districts, and schools have grappled with how to address computing in the K-12 curriculum. While some approaches dedicate classroom time... 详细信息
来源: 评论
Towards the Integration of Large Language Models in an Object-Oriented programming Course  29
Towards the Integration of Large Language Models in an Objec...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Cipriano, Bruno Pereira Lusofona Univ COPELABS Lisbon Portugal
The advent of Large Language Models (LLMs) has created multiple challenges for the computer science Education Community. This research project aims at integrating LLMs into Object-Oriented programming courses, by gene... 详细信息
来源: 评论
Quickly Producing "Isomorphic" Exercises: Quantifying the Impact of programming Question Permutations  29
Quickly Producing "Isomorphic" Exercises: Quantifying the Im...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Fowler, Max Smith, David H. Zilles, Craig Univ Illinois Urbana IL 61820 USA
Small, auto-gradable programming exercises provide a useful tool with which to assess students' programming skills in introductory computer science. To reduce the time needed to produce programming exercises of si... 详细信息
来源: 评论
Simplifying Multimedia programming for Novice Programmers: MediaLib and Its Learning Materials  29
Simplifying Multimedia Programming for Novice Programmers: M...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Wynn, Adam Wang, Jingyun Valente, Andrea Univ Durham Durham England Univ Southern Denmark Odense Denmark
Beginner programmers can develop an intuitive understanding of programming by leveraging the motivating field of multimedia to visually inspect outputs and experiment with different ways to solve problems. This paper ... 详细信息
来源: 评论
Automated programming approaches to enhance computer-aided translation accuracy
收藏 引用
PEERJ computer science 2024年 10卷 e2396-e2396页
作者: Zhao, Tao Alias, Mazni Binti Multimedia Univ Fac Management Cyberjaya Malaysia Henan Univ Engn Sch Int Educ Zhengzhou Henan Peoples R China
With the continued development of information technology and increased global cultural exchanges, translation has gained significant attention. Traditional manual translation relies heavily on dictionaries or personal... 详细信息
来源: 评论
Comparison of Three programming Error Measures for Explaining Variability in CS1 Grades  29
Comparison of Three Programming Error Measures for Explainin...
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Svabensky, Valdemar Pankiewicz, Maciej Zhang, Jiayi Cloude, Elizabeth B. Baker, Ryan S. Fouh, Eric Univ Penn Philadelphia PA 19104 USA Warsaw Univ Life Sci Warsaw Poland Tampere Univ Tampere Finland
programming courses can be challenging for first year university students, especially for those without prior coding experience. Students initially struggle with code syntax, but as more advanced topics are introduced... 详细信息
来源: 评论
An infrastructure software perspective toward computation offloading between executable specifications and foundation models
收藏 引用
science China(Information sciences) 2025年 第4期68卷 380-382页
作者: Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE Key Laboratory of High Confidence Software Technologies (PKU) Ministry of Education School of Computer SciencePeking University School of Electronics Engineering and Computer Science Peking University Department of Computer Science and Applied Mathematics Weizmann Institute of Science
Foundation models(FMs) [1] have revolutionized software development and become the core components of large software systems. This paradigm shift, however, demands fundamental re-imagining of software engineering theo...
来源: 评论