咨询与建议

限定检索结果

文献类型

  • 81,498 篇 会议
  • 30,394 篇 期刊文献
  • 7,359 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 120,328 篇 电子文献
  • 198 种 纸本馆藏

日期分布

学科分类号

  • 77,128 篇 工学
    • 66,891 篇 计算机科学与技术...
    • 46,380 篇 软件工程
    • 7,517 篇 控制科学与工程
    • 7,171 篇 电气工程
    • 6,611 篇 信息与通信工程
    • 2,784 篇 机械工程
    • 2,644 篇 电子科学与技术(可...
    • 2,091 篇 生物工程
    • 1,456 篇 生物医学工程(可授...
    • 1,293 篇 仪器科学与技术
    • 1,212 篇 动力工程及工程热...
    • 1,118 篇 材料科学与工程(可...
    • 1,111 篇 建筑学
    • 1,054 篇 土木工程
    • 1,039 篇 化学工程与技术
    • 784 篇 交通运输工程
  • 27,367 篇 理学
    • 21,273 篇 数学
    • 3,372 篇 系统科学
    • 2,985 篇 物理学
    • 2,954 篇 统计学(可授理学、...
    • 2,947 篇 生物学
    • 1,110 篇 化学
  • 13,212 篇 管理学
    • 8,942 篇 管理科学与工程(可...
    • 4,497 篇 图书情报与档案管...
    • 4,012 篇 工商管理
  • 8,105 篇 教育学
    • 7,957 篇 教育学
  • 1,482 篇 法学
    • 1,257 篇 社会学
  • 1,411 篇 经济学
    • 1,356 篇 应用经济学
  • 1,397 篇 医学
    • 1,032 篇 临床医学
    • 809 篇 基础医学(可授医学...
  • 919 篇 农学
  • 378 篇 文学
  • 198 篇 艺术学
  • 110 篇 军事学
  • 109 篇 哲学
  • 27 篇 历史学

主题

  • 10,168 篇 computer science
  • 7,423 篇 programming
  • 4,382 篇 linear programmi...
  • 4,364 篇 programming prof...
  • 4,197 篇 computer program...
  • 4,164 篇 software enginee...
  • 3,896 篇 dynamic programm...
  • 3,325 篇 logic programmin...
  • 3,021 篇 artificial intel...
  • 2,804 篇 application soft...
  • 2,613 篇 software enginee...
  • 2,592 篇 genetic programm...
  • 2,577 篇 object oriented ...
  • 2,156 篇 computer languag...
  • 2,122 篇 computer archite...
  • 2,116 篇 parallel program...
  • 2,034 篇 computational mo...
  • 2,021 篇 computer program...
  • 1,976 篇 programming tech...
  • 1,899 篇 optimization

机构

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

作者

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

语言

  • 108,343 篇 英文
  • 6,159 篇 中文
  • 5,910 篇 其他
  • 87 篇 日文
  • 71 篇 德文
  • 30 篇 法文
  • 29 篇 西班牙文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 3 篇 斯洛文尼亚文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120441 条 记 录,以下是431-440 订阅
Exploring computational thinking as a boundary object between mathematics and computer programming for STEM teaching and learning
收藏 引用
ZDM-MATHEMATICS EDUCATION 2023年 第7期55卷 1315-1329页
作者: Ng, Oi-Lam Leung, Allen Ye, Huiyan Chinese Univ Hong Kong Shatin Hong Kong Peoples R China
programming is an interdisciplinary practice with applications in both mathematics and computer science. Mathematics concerns rigor, abstraction, and generalization. computer science predominantly concerns efficiency,... 详细信息
来源: 评论
Students’ perspectives on using digital tools in programming courses: A cross country case study between Sweden and Taiwan
收藏 引用
Discover Education 2024年 第1期3卷 1-20页
作者: Asgari, Mohsen Tsai, Fong-Chun Mannila, Linda Strömbäck, Filip Sadique, Kazi Masum Linkoping University Linköping Sweden National Taiwan Normal University Taipei Taiwan Stockholm University Stockholm Sweden
As programming emerges as a critical skill in the digital age and digital tools continue to evolve, understanding students’ perspectives on the integration of such technologies into their education is crucial. This e... 详细信息
来源: 评论
Exploring Optimal Parameter Combinations for Genetic programming in Robot Trajectory Generation
Exploring Optimal Parameter Combinations for Genetic Program...
收藏 引用
Mexican International Conference on computer science (ENC)
作者: Montoya, Nelson Perez, Cynthia B. Castro, Luis A. Clemente, Eddie Sonora Inst Technol ITSON Dept Comp & Design Obregon Mexico Sonora Inst Technol ITSON Unidad Guaymas Obregon Mexico Inst Tecnol Ensenada Ensenada Baja California Mexico
This work explores the relevance of appropriately selecting execution parameters in generating efficient routes for mobile robots in static environments using genetic programming (GP). The experiments conducted in thi... 详细信息
来源: 评论
Advancing Robotics Education: Integrating Large Language Models for Natural Language programming in VET  25th
Advancing Robotics Education: Integrating Large Language Mod...
收藏 引用
25th International Conference on Intelligent Data Engineering and Automated Learning
作者: Prieto, Abraham Romero, Alejandro Bellas, Francisco Univ A Coruna Integrated Grp Engn Res La Coruna Spain
This paper presents an educational activity developed within the AIM@VET project, aimed at integrating Large Language Models (LLMs) into Vocational Education and Training (VET) for programming robots using natural lan... 详细信息
来源: 评论
Looking "Under the hood" of learning computer programming: the emotional and cognitive differences between novices and beginners
收藏 引用
computer science EDUCATION 2024年 第3期34卷 331-352页
作者: Lapierre, Hugo G. Charland, Patrick Leger, Et Pierre-Majorique Univ Quebec Montreal Dept Didact Montreal PQ Canada HEC Montreal Dept Informat Technol Montreal PQ Canada
Backgroundand ContextCurrent programming learning research often compares novices and experienced programmers, leaving early learning stages and emotional and cognitive states *** study investigates relationships betw... 详细信息
来源: 评论
programming Learning Difficulties: How Can Naive Users Create Human-Machine Interaction Scenarios?  19th
Programming Learning Difficulties: How Can Naive Users Creat...
收藏 引用
19th International Conference on computers Helping People with Special Needs (ICCHP)
作者: Debloos, Justin Jost, Celine Archambault, Dominique Paris 8 Vincennes St Denis Univ St Denis France
The work presented in this paper is part of PRIM project [8] which aims to enable naive users - people with no programming skills - to create human-machine interaction scenarios. This paper presents a literature revie... 详细信息
来源: 评论
Random-Access Lists, from EE to FP  22nd
Random-Access Lists, from EE to FP
收藏 引用
22nd Asian Symposium on programming Languages and Systems
作者: Quennet, Titouan Dagand, Pierre-Evariste Univ Paris Cite IRIF CNRS Paris France
Numerical representations, which were popularized by Okasaki in his seminal book [1], decouple the design of data-types into, first, a choice of a data-structure encoding a suitable numerical system, followed by decor... 详细信息
来源: 评论
Online programming Exams - An Experience Report  2023
Online Programming Exams - An Experience Report
收藏 引用
28th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Russell, Sean Caton, Simon Becker, Brett A. Univ Coll Dublin Dublin Ireland
When seeking to maximise the authenticity of assessment in programming courses it makes sense to provide students with practical programming problems to solve in an environment that is close to real software developme... 详细信息
来源: 评论
CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI  2024
CS1 with a Side of AI: Teaching Software Verification for Se...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Fernandez, Amanda S. Cornell, Kimberly A. Univ Texas San Antonio San Antonio TX 78249 USA SUNY Albany Albany NY USA
As AI-generated code promises to become an increasingly relied upon tool for software developers, there is a temptation to call for significant changes to early computer science curricula. A move from syntax-focused t... 详细信息
来源: 评论
From Probabilistic programming to Complexity-Based programming
From Probabilistic Programming to Complexity-Based Programmi...
收藏 引用
26th European Conference on Artificial Intelligence (ECAI)
作者: Sileno, Giovanni Dessalles, Jean-Louis Univ Amsterdam Amsterdam Netherlands Inst Polytech Paris Telecom Paris Paris France
The paper presents the main characteristics and a preliminary implementation of a novel computational framework named COMPLOG. Inspired by probabilistic programming systems like ProbLog, CompLog builds upon the infere... 详细信息
来源: 评论