咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是771-780 订阅
排序:
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, ... 详细信息
来源: 评论
A Method of the Traveling Salesman Problem Based On Q-Learning Reinforcement Learning and Local Dynamic programming  21
A Method of the Traveling Salesman Problem Based On Q-Learni...
收藏 引用
21st International computer Conference on Wavelet Active Media Technology and Information Processing, ICCWAMTIP 2024
作者: Xincheng, Hu Yuzhuo, Shen School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu611731 China
This study explores optimizing the Traveling Salesman Problem (TSP) using Q-Learning reinforcement learning. The proposed method builds a Q-table to learn the optimal path and employs dynamic programming for local opt... 详细信息
来源: 评论
SEPARATING SESSIONS SMOOTHLY
收藏 引用
LOGICAL METHODS IN computer science 2023年 第3期19卷
作者: Fowler, Simon Kokke, Wen Dardha, Ornela Lindley, Sam Morris, J. Garrett Univ Glasgow Glasgow Scotland Univ Strathclyde Strathclyde Scotland Univ Edinburgh Edinburgh Scotland Univ Iowa Iowa IA USA
This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-... 详细信息
来源: 评论
Exploiting Entropy in Constraint programming  20th
Exploiting Entropy in Constraint Programming
收藏 引用
20th International Conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Burlats, Auguste Pesant, Gilles UCLouvain Ottignies Belgium Polytech Montreal Montreal PQ Canada
The introduction of Belief Propagation in Constraint programming through the CP-BP framework makes possible the computation of an estimation of the probability that a given variable-value combination belongs to a solu... 详细信息
来源: 评论
Towards a Metaphor-Based Tangible Toolkit for Learning programming Concepts  9th
Towards a Metaphor-Based Tangible Toolkit for Learning Progr...
收藏 引用
9th International Conference on Learning and Collaboration Technologies (LCT) Held as Part of the 24th International Conference on Human-computer Interaction (HCII)
作者: Karlsen, Ann-Charlott B. Akerbaek, Tore Marius Stigberg, Susanne Koch Ostfold Univ Coll IT Dept Halden Norway
This paper reports from design research developing a prototype for a metaphor-based tangible toolkit reifying basic programming concepts. We elicit a list of metaphors using expert interviews with computer science lec... 详细信息
来源: 评论
Foundational Integration Verification of a Cryptographic Server
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2024年 第PLDI期8卷 1704-1729页
作者: Erbsen, Andres Philipoom, Jade Jamner, Dustin Lin, Ashley Gruetter, Samuel Pit-Claudel, Clement Chlipala, Adam Google Cambridge MA 02142 USA Google Berlin Germany MIT Cambridge MA USA Ecole Polytech Fed Lausanne Lausanne Switzerland
We present verification of a bare-metal server built using diverse implementation techniques and languages against a whole-system input-output specification in terms of machine code, network packets, and mathematical ... 详细信息
来源: 评论
A Parallel Synchronous Execution Engine and Target Language for Digital Microfluidics  1
收藏 引用
24th International Conference on Embedded computer Systems: Architectures, Modeling, and Simulation
作者: Pezzarossa, Luca Tanev, Georgi Svendsen, Winnie Edith Madsen, Jan Tech Univ Denmark Dept Appl Math & Comp Sci Lyngby Denmark Tech Univ Denmark Dept Biotechnol & Biomed Lyngby Denmark
Digital microfluidic biochips allow the execution of biochemical protocols on a chip-scaled device delivering cost and performance advantages over the traditional benchtop wet-laboratory processes. Several microfluidi... 详细信息
来源: 评论
Designing a Framework to Support the Teaching of programming Basics to Large Numbers of Novices  16
Designing a Framework to Support the Teaching of Programming...
收藏 引用
16th International Conference on computer Supported Education, CSEDU 2024
作者: Gianinazzi, Milo Weidmann, Philippe Moccozet, Laurent Computer Science Centre University of Geneva Battelle 7 Route de Drize Carouge Switzerland
In this paper we propose the design of a framework dedicated to facilitating the teaching of programming basics in the context of large classes of beginners. The biggest issue for the teachers of this type of classes,... 详细信息
来源: 评论
Deterministic stream-sampling for probabilistic programming: semantics and verification  38
Deterministic stream-sampling for probabilistic programming:...
收藏 引用
38th Annual ACM/IEEE Symposium on Logic in computer science (LICS)
作者: Dahlqvist, Fredrik Silva, Alexandra Smith, William Queen Mary Univ London London England UCL London England Cornell Univ Dept Comp Sci Ithaca NY USA UCL Dept Comp Sci London England
Probabilistic programming languages rely fundamentally on some notion of sampling, and this is doubly true for probabilistic programming languages which perform Bayesian inference using Monte Carlo techniques. Verifyi... 详细信息
来源: 评论
Predicting Student Behavior Using a Neutrosophic Deep Learning Model
收藏 引用
Neutrosophic Sets and Systems 2025年 76卷 288-310页
作者: Shitaya, Ahmed Mohamed Wahed, Mohamed El Syed Abd El Khalek, Saied Helemy Ismail, Amr Shams, Mahmoud Y. Salama, A.A. Department of Mathematics and Computer Science Faculty of Science Port Said University Egypt Department of Computer Science Faculty of computer and information sciences Suez Canal University Egypt Department. of Communication and Computer Engineering Air Defense University Egypt Department of Cybersecurity College of Engineering and Information Technology Buraydah Private Colleges Buraydah51418 Saudi Arabia Faculty of Artificial Intelligence Kafrelsheikh University Kafrelsheikh33516 Egypt
We developed an information system using an object-oriented programming language and a distributed database (DDB) consisting of multiple interconnected databases across a computer network, managed by a distributed dat... 详细信息
来源: 评论