咨询与建议

限定检索结果

文献类型

  • 81,383 篇 会议
  • 28,528 篇 期刊文献
  • 7,410 册 图书
  • 1,182 篇 学位论文
  • 4 篇 专利
  • 1 件 标准

馆藏范围

  • 118,397 篇 电子文献
  • 205 种 纸本馆藏

日期分布

学科分类号

  • 75,569 篇 工学
    • 65,638 篇 计算机科学与技术...
    • 45,655 篇 软件工程
    • 7,347 篇 控制科学与工程
    • 7,046 篇 电气工程
    • 6,502 篇 信息与通信工程
    • 2,734 篇 机械工程
    • 2,590 篇 电子科学与技术(可...
    • 2,022 篇 生物工程
    • 1,443 篇 生物医学工程(可授...
    • 1,242 篇 仪器科学与技术
    • 1,179 篇 动力工程及工程热...
    • 1,089 篇 建筑学
    • 1,067 篇 材料科学与工程(可...
    • 1,030 篇 土木工程
    • 996 篇 化学工程与技术
    • 745 篇 交通运输工程
  • 26,749 篇 理学
    • 21,017 篇 数学
    • 3,330 篇 系统科学
    • 2,888 篇 统计学(可授理学、...
    • 2,880 篇 物理学
    • 2,818 篇 生物学
    • 1,061 篇 化学
  • 12,963 篇 管理学
    • 8,751 篇 管理科学与工程(可...
    • 4,441 篇 图书情报与档案管...
    • 3,962 篇 工商管理
  • 7,914 篇 教育学
    • 7,786 篇 教育学
  • 1,445 篇 法学
    • 1,227 篇 社会学
  • 1,357 篇 经济学
    • 1,313 篇 应用经济学
  • 1,326 篇 医学
    • 1,018 篇 临床医学
    • 773 篇 基础医学(可授医学...
  • 849 篇 农学
  • 353 篇 文学
  • 176 篇 艺术学
  • 109 篇 军事学
  • 101 篇 哲学
  • 27 篇 历史学

主题

  • 9,905 篇 computer science
  • 7,316 篇 programming
  • 4,410 篇 programming prof...
  • 4,334 篇 linear programmi...
  • 4,030 篇 software enginee...
  • 3,868 篇 dynamic programm...
  • 3,699 篇 computer program...
  • 3,313 篇 logic programmin...
  • 2,878 篇 artificial intel...
  • 2,817 篇 application soft...
  • 2,582 篇 genetic programm...
  • 2,575 篇 object oriented ...
  • 2,531 篇 software enginee...
  • 2,180 篇 computer languag...
  • 2,115 篇 parallel program...
  • 2,108 篇 computer archite...
  • 2,048 篇 computational mo...
  • 1,968 篇 programming tech...
  • 1,931 篇 computer program...
  • 1,883 篇 optimization

机构

  • 201 篇 massachusetts in...
  • 87 篇 department of co...
  • 72 篇 华中科技大学
  • 57 篇 college of compu...
  • 50 篇 school of comput...
  • 48 篇 department of co...
  • 46 篇 北京科技大学
  • 46 篇 department of el...
  • 46 篇 东南大学
  • 43 篇 college of compu...
  • 43 篇 department of co...
  • 42 篇 school of comput...
  • 42 篇 department of co...
  • 41 篇 institute of inf...
  • 41 篇 tsinghua univers...
  • 40 篇 univ michigan an...
  • 40 篇 huazhong univers...
  • 37 篇 georgia inst tec...
  • 36 篇 department of co...
  • 35 篇 school of comput...

作者

  • 78 篇 stuckey peter j.
  • 54 篇 zhang mengjie
  • 45 篇 luxton-reilly an...
  • 40 篇 bernhard steffen
  • 39 篇 bing xue
  • 34 篇 yao xin
  • 30 篇 niyato dusit
  • 29 篇 kumar amruth n.
  • 29 篇 wang lei
  • 29 篇 zhang lei
  • 28 篇 dhabaleswar k. p...
  • 28 篇 cavalcanti ana
  • 28 篇 mengjie zhang
  • 27 篇 jin zhi
  • 26 篇 li xin
  • 24 篇 sipper moshe
  • 24 篇 liu yanhong a.
  • 22 篇 zhang tao
  • 22 篇 meseguer josé
  • 22 篇 li yang

语言

  • 107,747 篇 英文
  • 6,127 篇 中文
  • 4,549 篇 其他
  • 87 篇 日文
  • 55 篇 德文
  • 30 篇 西班牙文
  • 29 篇 法文
  • 18 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
118512 条 记 录,以下是1231-1240 订阅
排序:
Reversible computing and implicit computational complexity
收藏 引用
science of computer programming 2022年 213卷
作者: Kristiansen, Lars Univ Oslo Dept Informat Oslo Norway Univ Oslo Dept Math Oslo Norway
We argue that there is a link between implicit computational complexity theory and reversible computation. We introduce inherently reversible programming languages which capture the complexity classes ETImE and p. Fur... 详细信息
来源: 评论
Design Goals for End-User Development of Robot-Assisted Physical Training Activities: A Participatory Design Study
收藏 引用
Proceedings of the ACM on Human-computer Interaction 2024年 第EICS期8卷 1-31页
作者: De La Rosa Gutierrez, Jose Pablo Silva, Thiago Rocha Dittrich, Yvonne Sørensen, Anders Stengaard The Maersk Mc-Kinney Moller Institute University of Southern Denmark Odense Denmark Computer Science Department IT University of Copenhagen Copenhagen Denmark
programming robots presents significant challenges, including high costs, extensive time commitments and steep learning curves, particularly for individuals lacking technical background in engineering. These barriers ... 详细信息
来源: 评论
A Theorem Proving Approach to programming Language Semantics  23
A Theorem Proving Approach to Programming Language Semantics
收藏 引用
IEEE/ACM 45th International Conference on Software Engineering - Software Engineering Education and Training (ICSE-SEET)
作者: Roy, Subhajit Indian Inst Technol Kanpur Kanpur India
The semantics of programming languages is one of the core topics in computer science. This topic is formalism-heavy and requires the student to attempt numerous proofs for a deep understanding. We argue that modern th... 详细信息
来源: 评论
GPTutor: A ChatGPT-Powered programming Tool for Code Explanation
GPTutor: A ChatGPT-Powered Programming Tool for Code Explana...
收藏 引用
24th International Conference on Artificial Intelligence in Education (AIED)
作者: Chen, Eason Huang, Ray Chen, Han-Shin Tseng, Yuen-Hsien Li, Liang-Yi Natl Taiwan Normal Univ Taipei Taiwan KryptoCamp Taipei Taiwan Univ Toronto Toronto ON Canada
Learning new programming skills requires tailored guidance. With the emergence of advanced Natural Language Generation models like the ChatGPT API, there is now a possibility of creating a convenient and personalized ... 详细信息
来源: 评论
The programming Exercise Markup Language: Towards Reducing the Effort Needed to Use Automated Grading Tools  2023
The Programming Exercise Markup Language: Towards Reducing t...
收藏 引用
54th Annual ACM SIGCSE Technical Symposium on computer science Education (SIGCSE TS)
作者: Mishra, Divyansh S. Edwards, Stephen H. Virginia Tech Blacksburg VA 24061 USA
Automated programming assignment grading tools have become integral to CS courses at introductory as well as advanced levels. However such tools have their own custom approaches to setting up assignments and describin... 详细信息
来源: 评论
Innovation and Entrepreneurship Integrated to Introductory programming Courses: An Experience Report of a Brazilian Case  1
收藏 引用
26th International Conference on Interactive Collaborative Learning (ICL) - Towards a Hybrid, Flexible and Socially Engaged Higher Education / 52nd IGIP International Conference on Engineering Pedagogy
作者: Freitas Vilela Boaventura, Ana Paula Gondim Inocencio, Ana Carolina Fechine Feitosa, Robson Goncalves Lima de Campos, Gustavo Augusto dos Santos, Simone Cristiane Bispo, Esdras Lins, Jr. Fed Univ Jatai UFJ Jatai Brazil Fed Inst Ceara IFCE Crato Ceara Brazil State Univ Ceara UECE Fortaleza Ceara Brazil Ctr Informat CIn UFPE Recife PE Brazil Brunel Univ London London England
This work reports the experience of integrating aspects of innovation and entrepreneurship in introductory programming courses (IPC) in a Brazilian context. This action research involves 53 students enrolled in basic ... 详细信息
来源: 评论
Sustainable goal-oriented smart environments: a declarative programming approach
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2023年 第4期33卷 864-899页
作者: Bisicchia, Giuseppe Forti, Stefano Brogi, Antonio Univ Pisa Dept Comp Sci I-56127 Pisa Italy
The sustainable management of smart environments enabled by the Internet of Things (IoT) requires new methodologies and tools to suitably handle potentially many users and their objectives on cyber-physical systems, e... 详细信息
来源: 评论
Top 10 computer science Open Educational Resources in MERLOT  48
Top 10 Computer Science Open Educational Resources in MERLOT
收藏 引用
48th Annual IEEE International computers, Software, and Applications Conference (COMPSAC) - Digital Development for a Better Future
作者: Chan, Henry C. B. Wong, Tak-Lam Lohana, Parkash Mitra, Simanta So, Joseph Hong Kong Polytech Univ Dept Comp Hong Kong Peoples R China Douglas Coll New Westminster BC Canada Karachi Inst Econ & Technol Karachi Pakistan Iowa State Univ Ames IA USA Smart Locat Technol Ltd Vancouver BC Canada
Open educational resources (OERs) can provide useful online materials to facilitate teaching and learning. It is desirable to provide a focused list for the global computing education community. In this short paper, w... 详细信息
来源: 评论
Joint Power Allocation and Task Scheduling for Data Offloading in Non-Geostationary Orbit Satellite Networks
收藏 引用
IEEE Transactions on Network and Service Management 2025年 第3期22卷 2882-2896页
作者: He, Lijun Jia, Ziye Wang, Juncheng Lansard, Erick Han, Zhu Yuen, Chau China University of Mining and Technology School of Information and Control Engineering Xuzhou221116 China Xidian University State Key Laboratory of Integrated Services Networks Xi’an710071 China Nanjing University of Aeronautics and Astronautics College of Electronic and Information Engineering Nanjing211106 China Southeast University National Mobile Communications Research Laboratory Nanjing211111 China Hong Kong Baptist University Department of Computer Science Kowloon Tsai Hong Kong Nanyang Technological University School of Electrical and Electronics Engineering Jurong West 639798 Singapore University of Houston Department of Electrical and Computer Engineering HoustonTX77004 United States Kyung Hee University Department of Computer Science and Engineering Seoul446-701 Korea Republic of
In Non-Geostationary Orbit Satellite Networks (NGOSNs) with a large number of battery-carrying satellites, proper power allocation and task scheduling are crucial to improving data offloading efficiency. In this work,... 详细信息
来源: 评论
Type-safe Quantum programming in Idris  1
收藏 引用
32nd European Symposium on programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS)
作者: Dandy, Liliane-Joy Jeandel, Emmanuel Zamdzhiev, Vladimir Ecole Polytech Fed Lausanne Lausanne Switzerland Ecole Polytech Palaiseau France Univ Lorraine LORIA Inria CNRS F-54000 Nancy France Univ Paris Saclay LMF Inria CNRSENS Paris Saclay F-91190 Gif Sur Yvette France
Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational problems. These algorithms create interesting challenges for the des... 详细信息
来源: 评论