咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 76,876 篇 工学
    • 66,686 篇 计算机科学与技术...
    • 46,283 篇 软件工程
    • 7,425 篇 控制科学与工程
    • 7,112 篇 电气工程
    • 6,522 篇 信息与通信工程
    • 2,767 篇 机械工程
    • 2,630 篇 电子科学与技术(可...
    • 2,094 篇 生物工程
    • 1,453 篇 生物医学工程(可授...
    • 1,278 篇 仪器科学与技术
    • 1,187 篇 动力工程及工程热...
    • 1,110 篇 材料科学与工程(可...
    • 1,102 篇 建筑学
    • 1,043 篇 土木工程
    • 1,024 篇 化学工程与技术
    • 767 篇 交通运输工程
  • 27,265 篇 理学
    • 21,195 篇 数学
    • 3,369 篇 系统科学
    • 2,958 篇 物理学
    • 2,949 篇 生物学
    • 2,941 篇 统计学(可授理学、...
    • 1,089 篇 化学
  • 13,142 篇 管理学
    • 8,882 篇 管理科学与工程(可...
    • 4,474 篇 图书情报与档案管...
    • 3,999 篇 工商管理
  • 8,037 篇 教育学
    • 7,891 篇 教育学
  • 1,471 篇 法学
    • 1,245 篇 社会学
  • 1,406 篇 经济学
    • 1,350 篇 应用经济学
  • 1,378 篇 医学
    • 1,022 篇 临床医学
    • 807 篇 基础医学(可授医学...
  • 917 篇 农学
  • 373 篇 文学
  • 199 篇 艺术学
  • 109 篇 哲学
  • 109 篇 军事学
  • 26 篇 历史学

主题

  • 10,285 篇 computer science
  • 7,403 篇 programming
  • 4,373 篇 computer program...
  • 4,366 篇 linear programmi...
  • 4,354 篇 programming prof...
  • 4,152 篇 software enginee...
  • 3,891 篇 dynamic programm...
  • 3,323 篇 logic programmin...
  • 3,077 篇 artificial intel...
  • 2,815 篇 application soft...
  • 2,608 篇 software enginee...
  • 2,581 篇 genetic programm...
  • 2,567 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,124 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,024 篇 computational mo...
  • 2,017 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,890 篇 optimization

机构

  • 420 篇 massachusetts in...
  • 82 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 47 篇 department of co...
  • 47 篇 东南大学
  • 46 篇 北京科技大学
  • 46 篇 department of co...
  • 45 篇 department of el...
  • 44 篇 school of comput...
  • 43 篇 tsinghua univers...
  • 41 篇 college of compu...
  • 41 篇 institute of inf...
  • 41 篇 univ michigan an...
  • 41 篇 school of comput...
  • 41 篇 department of co...
  • 40 篇 huazhong univers...
  • 39 篇 georgia inst tec...
  • 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
  • 33 篇 yao xin
  • 30 篇 wang lei
  • 29 篇 kumar amruth n.
  • 29 篇 niyato dusit
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 zhang lei
  • 28 篇 mengjie zhang
  • 27 篇 li xin
  • 26 篇 jin zhi
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 23 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 111,962 篇 英文
  • 6,041 篇 中文
  • 2,478 篇 其他
  • 90 篇 日文
  • 75 篇 德文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 17 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 3 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120680 条 记 录,以下是131-140 订阅
排序:
Story programming: Explaining computer science Before Coding  19
Story Programming: Explaining Computer Science Before Coding
收藏 引用
50th ACM-SIGCSE Technical Symposium on computer science Education (SIGCSE)
作者: Parham-Mocello, Jennifer Ernst, Shannon Erwig, Martin Shellhammer, Lily Dominguez, Emily Oregon State Univ Corvallis OR 97331 USA
Story programming is an approach for teaching complex computational and algorithmic thinking skills using simple stories anyone can relate to. One could learn these skills independent of a computer or with the use of ... 详细信息
来源: 评论
Incorporating computer programming & Data science into a Guided Inquiry-Based Undergraduate Ecology Lab
收藏 引用
AMERICAN BIOLOGY TEACHER 2019年 第9期81卷 649-657页
作者: Rahn, Jennifer Willner, Dana Deverick, James Kemper, Peter Saha, Margaret William & Mary Dept Biol Williamsburg VA 23187 USA William & Mary Dept Comp Sci Williamsburg VA 23187 USA
The biological sciences are becoming increasingly reliant on computer science and associated technologies to quickly and efficiently analyze and interpret complex data sets. Introducing students to data analysis techn... 详细信息
来源: 评论
MacroSwarm: A scala framework for swarm programming
收藏 引用
science of computer programming 2025年 239卷
作者: Aguzzi, Gianluca Viroli, Mirko Alma Mater Studiorum Univ Bologna Bologna Italy
programming swarm behaviors is a challenging task, due to the need to express collective behaviors in terms of local interactions among simple agents. Even if several programming frameworks have been proposed, they ar... 详细信息
来源: 评论
Alternative Approaches of Solving the Discrete Tomography
收藏 引用
programming AND computer SOFTWARE 2024年 第SUPPL 1期50卷 S75-S81页
作者: Sahakyan, H. Aslanyan, L. Natl Acad Sci Republ Armenia Inst Informat & Automat Problems Yerevan 0014 Armenia Natl Acad Sci Republ Armenia Yerevan 0019 Armenia
In this paper, we consider a discrete tomography problem, which aims at characterizing given projections of a binary matrix assuming nonrepeatability property of the matrix rows. We discuss Integer Linear programming ... 详细信息
来源: 评论
NewBee: Context-Free Grammar (CFG) of a New programming Language for Novice Programmers
收藏 引用
Intelligent Automation & Soft Computing 2023年 第7期37卷 439-453页
作者: Muhammad Aasim Qureshi Muhammad Asif Saira Anwar Department of Computer Science Bahria University Lahore54000Pakistan Department of Law Science and TechnologyUniversity of Bologna40126Italy Department of Multidisciplinary Engineering Texas A&M UniversityCollege Station77843USA
Learning programming and using programming languages are the essential aspects of computer science *** use programming languages to write their *** computer programs(students or practitioners written)make computers ar... 详细信息
来源: 评论
Students' Understanding of programming Fluency  29
Students' Understanding of Programming Fluency
收藏 引用
29th Annual Conference on Innovation and Technology in computer science Education (ITiCSE)
作者: Bjorn, Camilla Kann, Viggo KTH Royal Inst Technol Dept Theoret Comp Sci Stockholm Sweden
Fluency is a term commonly used to express proficiency within a specific area, often languages. However, it is sometimes also used in programming. In this poster, we present a phenomenographic study to investigate how... 详细信息
来源: 评论
Using RoblockLLy in the Classroom: Bridging the Gap in computer science Education Through Robotics Simulation
收藏 引用
IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES 2025年 18卷 39-52页
作者: Herrero-Alvarez, Rafael Arnay, Rafael Segredo, Eduardo Miranda, Gara Leon, Coromoto Univ La Laguna Dept Ingn Informat & Sistemas San Cristobal De La Lagun 38200 Spain
RoblockLLy is an educational robotics simulator designed for primary and secondary school students, whose goal is to increase their interest in science, technology, engineering, and mathematics. In the particular case... 详细信息
来源: 评论
An Affine Scaling Algorithm for Biobjective Linear programming
收藏 引用
Journal of the Operations Research Society of China 2024年 第4期12卷 937-951页
作者: Marco Antonio Figueiredo Menezes Nelson Maculan Polytechnic School Pontifical Catholic University of GoiásGoiâniaGOBrazil Systems and Computer Science–Applied Mathematics Federal University of Rio de JaneiroRio de JaneiroRJBrazil
Given a biobjective linear programming problem,we develop an affine scaling algorithm with min-max direction and demonstrate its convergence for an efficient *** implement the algorithm for some minor issues in the li... 详细信息
来源: 评论
Committed-programming reductions: formalizations,implications and relations
收藏 引用
science China(Information sciences) 2024年 第10期67卷 151-171页
作者: Jiang ZHANG Yu YU Dengguo FENG Shuqin FAN Zhenfeng ZHANG State Key Laboratory of Cryptology Department of Computer Science and Engineering Shanghai Jiao Tong University Trusted Computing and Information Assurance Laboratory Institute of SoftwareChinese Academy of Sciences
In this work, we introduce a class of black-box(BB) reductions called committed-programming reduction(CPRed) in the random oracle model(ROM) and obtain the following interesting results:(1) we demonstrate that some we... 详细信息
来源: 评论
Restating the Prowess of Logic programming  8th
Restating the Prowess of Logic Programming
收藏 引用
2024 World Congress in computer science, computer Engineering and Applied Computing-CSCE
作者: Yang, Feng-Jen Florida Polytechn Univ Lakeland FL 33805 USA
Logic programming stands as a cornerstone among programming paradigms, presenting an unparalleled methodology for addressing a spectrum of quintessential AI challenges. This paradigm harnesses the power of predicate l... 详细信息
来源: 评论