咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 120,833 篇 电子文献
  • 211 种 纸本馆藏

日期分布

学科分类号

  • 77,094 篇 工学
    • 66,860 篇 计算机科学与技术...
    • 46,396 篇 软件工程
    • 7,451 篇 控制科学与工程
    • 7,134 篇 电气工程
    • 6,538 篇 信息与通信工程
    • 2,774 篇 机械工程
    • 2,639 篇 电子科学与技术(可...
    • 2,095 篇 生物工程
    • 1,454 篇 生物医学工程(可授...
    • 1,280 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,115 篇 材料科学与工程(可...
    • 1,109 篇 建筑学
    • 1,048 篇 土木工程
    • 1,028 篇 化学工程与技术
    • 768 篇 交通运输工程
  • 27,336 篇 理学
    • 21,248 篇 数学
    • 3,371 篇 系统科学
    • 2,965 篇 物理学
    • 2,953 篇 生物学
    • 2,948 篇 统计学(可授理学、...
    • 1,091 篇 化学
  • 13,189 篇 管理学
    • 8,913 篇 管理科学与工程(可...
    • 4,488 篇 图书情报与档案管...
    • 4,016 篇 工商管理
  • 8,071 篇 教育学
    • 7,925 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,412 篇 经济学
    • 1,357 篇 应用经济学
  • 1,380 篇 医学
    • 1,024 篇 临床医学
    • 806 篇 基础医学(可授医学...
  • 921 篇 农学
  • 376 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,331 篇 computer science
  • 7,417 篇 programming
  • 4,403 篇 computer program...
  • 4,371 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,082 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,642 篇 software enginee...
  • 2,582 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,025 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,891 篇 optimization

机构

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

作者

  • 77 篇 stuckey peter j.
  • 63 篇 zhang mengjie
  • 45 篇 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,635 篇 英文
  • 6,088 篇 中文
  • 3,027 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120951 条 记 录,以下是751-760 订阅
排序:
Formative vs. Summative Assessment of Practical programming Tasks: Do We Need to Investigate?  24
Formative vs. Summative Assessment of Practical Programming ...
收藏 引用
6th Conference on United Kingdom and Ireland Computing Education Research
作者: Irfan, Muhammad Imperatore, Gennaro Univ Strathclyde Glasgow Lanark Scotland
This pilot study investigates student attitude towards practical coding tasks/exercises assigned during an introductory Python module. We report the experiences of 4 students taking part in this course with respect to... 详细信息
来源: 评论
Eleven-Point Gradient-Zhang Dynamics Algorithm for Time-Dependent Nonlinear Equality-Constraint programming and Manipulator Application
收藏 引用
IEEE TRANSACTIONS ON AUTOMATION science AND ENGINEERING 2024年 第4期21卷 7242-7256页
作者: Wu, Dongqing Zhang, Yunong Zhongkai Univ Agr & Engn Dept Informat & Computat Sci Guangzhou 510220 Peoples R China Sun Yat sen Univ Sch Comp Sci & Engn Guangzhou 510006 Peoples R China Sun Yat sen Univ Shenzhen Res Inst Shenzhen 518057 Guangdong Peoples R China
The problem of time-dependent nonlinear equality-constraint programming (TDNECP) is a hot topic in various scientific and engineering fields. In this paper, the problem-solving of TDNECP is investigated thoroughly. Co... 详细信息
来源: 评论
Brief, Just-in-Time Teaching Tips to Support computer science Tutors  2024
Brief, Just-in-Time Teaching Tips to Support Computer Scienc...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Cheng, Alan Y. Tanimura, Ellie Tey, Joseph Wu, Andrew C. Brunskill, Emma Stanford Univ Stanford CA 94305 USA
As enrollments in computing-related programs continue to rise, computer science departments are increasingly relying on teaching assistants (TAs) to provide additional educational support to students, such as one-on-o... 详细信息
来源: 评论
A HYBRID MULTI-OBJECTIVE MODEL FOR MULTI-STORY WAREHOUSE DESIGN A case study in Shenzhen  29th
A HYBRID MULTI-OBJECTIVE MODEL FOR MULTI-STORY WAREHOUSE DES...
收藏 引用
29th International Conference of the Association-for-computer-Aided-Architectural-Design-Research-in-Asia (CAADRIA)
作者: Wen, Yi Ye, Wei Yu, Gang Harbin Inst Technol Sch Architecture Shenzhen Peoples R China Purdue Univ Sch Engn W Lafayette IN 47907 USA
The thriving on-demand delivery economy and the increasing focus on addressing the global environmental crisis have spurred the need for efficient and sustainable logistics facilities in urban central areas. This pape... 详细信息
来源: 评论
Blending BDI Agents with Object-Oriented and Functional programming with JaKtA
收藏 引用
SN computer science 2024年 第8期5卷 1003页
作者: Baiardi, Martina Burattini, Samuele Ciatto, Giovanni Pianini, Danilo Department of Computer Science and Engineering (DISI) Alma Mater Studiorum Universitá di Bologna Via dell’Universitá 50 FC Cesena 47522 Italy
The popularity of multi-paradigm languages is on the rise, enabling developers to select the most appropriate paradigm for each task. While object-oriented and functional programming are commonly combined, other parad... 详细信息
来源: 评论
Teaching Computing to K-12 Emergent Bilinguals: Identified Challenges and Opportunities  2025
Teaching Computing to K-12 Emergent Bilinguals: Identified C...
收藏 引用
56th Technical Symposium on computer science Education
作者: Dodoo, Emma R. Nelson-Fromm, Tamara Guzdial, Mark Univ Michigan Ann Arbor MI 48109 USA
Emergent bilingual (EB) students are a growing demographic within the United States, with an increasing number enrolling in K-12 computing courses. Since programming languages are primarily grounded in English, K-12 c... 详细信息
来源: 评论
Combating ChatGPT-Based programming Test Cheating - An Evaluation Using Public Problems  6
Combating ChatGPT-Based Programming Test Cheating - An Evalu...
收藏 引用
6th International Conference on computer science and Technologies in Education, CSTE 2024
作者: Dang, Tran Tri Ling, Huo-Chong Tran, Ngoc Quang School of Science Engineering & Technology RMIT University Vietnam Ho Chi Minh City Viet Nam
The use of AI chatbots, such as ChatGPT, is increasingly popular across various domains, including education. While these tools offer valuable assistance to educators and students in teaching and learning activities, ... 详细信息
来源: 评论
Using Sensor-Based programming to Improve Self-Efficacy and Outcome Expectancy for Students from Underrepresented Groups  2023
Using Sensor-Based Programming to Improve Self-Efficacy and ...
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Suriyaarachchi, Hussel Nassani, Alaeddin Denny, Paul Nanayakkara, Suranga Natl Univ Singapore Augmented Human Lab Singapore Singapore Univ Auckland Augmented Human Lab Auckland New Zealand Univ Auckland Sch Comp Sci Auckland New Zealand
Knowledge of programming and computing is becoming increasingly valuable in today's world, and thus it is crucial that students from all backgrounds have the opportunity to learn. As the teaching of computing at h... 详细信息
来源: 评论
Advantages of two quantum programming platforms in quantum computing and quantum chemistry
收藏 引用
JOURNAL OF CHEMINFORMATICS 2025年 第1期17卷 1-10页
作者: Wang, Pei-Hua Wu, Wei-Yeh Lee, Che-Yu Hong, Jia-Cheng Tseng, Yufeng Jane Chung Yuan Christian Univ Undergrad Program Intelligent Comp & Big Data 200 Zhongbei Rd Taoyuan 320314 Taiwan Chung Yuan Christian Univ Quantum Informat Ctr 200 Zhongbei Rd Taoyuan 320314 Taiwan Natl Taiwan Univ Dept Comp Sci & Informat Engn 1Sec 4Roosevelt Rd Taipei 10617 Taiwan Natl Taiwan Univ Grad Inst Biomed Elect & Bioinformat Coll Elect Engn & Comp Sci 1 Sec 4Roosevelt Rd Taipei 10617 Taiwan Natl Ctr Theoret Sci Phys Div 1Sec 4Roosevelt Rd Taipei 10617 Taiwan Natl Taiwan Univ Ctr Quantum Sci & Engn 1Sec 4Roosevelt Rd Taipei 10617 Taiwan
Quantum computing is at the forefront of technological advancement and has the potential to revolutionize various fields, including quantum chemistry. Choosing an appropriate quantum programming language becomes criti... 详细信息
来源: 评论
Big Ideas of Cryptography in Primary School  29
Big Ideas of Cryptography in Primary School
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Lodi, Michael Carrisi, Maria Cristina Martini, Simone Univ Bologna Lab CINI Informat Scuola Bologna Italy Univ Cagliari Lab CINI Informat Scuola Cagliari Italy
We present a learning path on cryptography for primary school students (Grade 5), which we designed and tested. The project aims to raise initial awareness of the core ideas of modern cryptography, which are fundament... 详细信息
来源: 评论