咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4991-5000 订阅
Using LLM to Convert Bahasa Indonesia Commands into JSON Structures for GIS System API  11
Using LLM to Convert Bahasa Indonesia Commands into JSON Str...
收藏 引用
11th International Conference on computer, Control, Informatics and its Applications, IC3INA 2024
作者: Jarin, Asril Santosa, Agung Yaniasih, Yaniasih Research Center for Data and Information Science National Agency for Research and Innovation Jakarta Indonesia
Geographic Information Systems (GIS) often require complex Application programming Interface (API) interactions that are not easily accessible to non-technical users. This research proposes a proof-of-concept system t... 详细信息
来源: 评论
Middle School Architect: Programmatic Modeling and Construction via a 3D Graphics Platform in Elm  2
Middle School Architect: Programmatic Modeling and Construct...
收藏 引用
2nd International Conference on Emerging Trends in Information Technology and Engineering, ic-ETITE 2024
作者: Parcha, Anurag Mishra, Sanjana Anand, Christopher Kumar Pushparaj, Jagalingam Simon Fraser University BurnabyBC Canada McMaster University Computing and Software HamiltonON Canada School of Computer Science and Engineering Vellore Institute of Technology TN Vellore India
Today, school students are first introduced to geom-etry and advanced mathematical concepts by plotting a graph in 2D and they struggle with 3D concepts since current technologies are either too difficult to grasp or ... 详细信息
来源: 评论
Application Development in AutoCAD Environment for Modeling 3D Printed Souvenirs Targeting STEAM Education  32
Application Development in AutoCAD Environment for Modeling ...
收藏 引用
32nd International Conference on Software, Telecommunications and computer Networks, SoftCOM 2024
作者: Chavdarov, Ivan Kostova, Borislava Georgieva-Tsaneva, Galya University of Sofia 'St. Kliment Ohridski' Institute of Robotics Bulgarian Academy of Sciences Sofia Bulgaria Faculty of Mathematics and Informatics Sofia Bulgaria Institute of robotics Bulgarian Academy of Science Sofia Bulgaria
This paper presents a new software module for creating 3D-printed rings. The program operates within the AutoCAD environment and automatically generates 3D objects based on user-input information via dialog boxes. The... 详细信息
来源: 评论
Effects of Question Types on Engagement and Performance of programming Learning for Non-computer science Majors  7
Effects of Question Types on Engagement and Performance of P...
收藏 引用
7th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI)
作者: Arunoprayoch, Nuttaphat Lai, Chih-Hung Pham-Duc Tho Liang, Jing-SAn Yang, Jie-Chi Natl Dong Hwa Univ Dept Comp Sci & Informat Engn Hualien Taiwan Taipei Municipal Sanxing Elementary Sch 99Sect 2Keelung Rd Taipei Taiwan Natl Cent Univ Dept Comp Sci & Informat Engn Taoyuan Taiwan
This study seeks to investigate the effects of web-based computer programming learning, equipped with Questions and Answers, on students whose majors are not computer science. The proposed system allows five types of ... 详细信息
来源: 评论
Share your "Great Examples" -- Short Programs that Demonstrate Big Ideas  2025
Share your "Great Examples" -- Short Programs that Demonstra...
收藏 引用
Proceedings of the 56th ACM Technical Symposium on computer science Education V. 2
作者: Colleen M. Lewis Siebel School of Computing and Data Science University of Illinois Urbana-Champaign Urbana IL USA
Many educators provide introductory programming instruction that includes brief programs that seek to illuminate some aspect of programs or programming. We refer to these brief programs as ''Great Examples.... 详细信息
来源: 评论
Heterogeneous parallelism and performance optimization based on Flink+TornadoVM  24
Heterogeneous parallelism and performance optimization based...
收藏 引用
3rd International Conference on computer, Artificial Intelligence and Control Engineering, CAICE 2024
作者: Zhang, Wei Liu, Feng Han, Chao School of Computer Science Xi'an Polytechnic University Xi'an China
Traditional big data frameworks fail to take full advantage of the high computing power of hardware accelerators, and hardware accelerators lack the capability of big data frameworks such as Flink in terms of iterativ... 详细信息
来源: 评论
LP-Based Approximations for Disjoint Bilinear and Two-Stage Adjustable Robust Optimization  1
收藏 引用
23rd International Conference on Integer programming and Combinatorial Optimization (IPCO)
作者: El Housni, Omar Foussoul, Ayoub Goyal, Vineet Cornell Tech ORIE New York NY USA Columbia Univ IEOR New York NY 10027 USA
We consider the class of disjoint bilinear programs max {x(T) y vertical bar x is an element of X, y is an element of Y} where X and Y are packing polytopes. We present an O(log log m(1)/log m(1) log log m(2)/log m(2)... 详细信息
来源: 评论
Integrated Supply Chain Management: A Collaborative System for Fabric Supplier Selection, Order Allocation, and Product Delivery  11
Integrated Supply Chain Management: A Collaborative System f...
收藏 引用
11th Joint International Information Technology and Artificial Intelligence Conference, ITAIC 2023
作者: Gao, Yingao Ding, Xiangqian Li, Song Guo, Baoqi College of Computer Science and Technology Ocean University of China Qingdao China Qingdao Haida Nova Software Consulting Co. Qingdao China
In today's dynamic and rapidly evolving business landscape, collaborative supply chain management has become a research hotspot in enterprise management. This paper aims to develop a comprehensive supply chain col... 详细信息
来源: 评论
Evaluation of Portable programming Models to Accelerate LArTPC Detector Simulations  20
Evaluation of Portable Programming Models to Accelerate LArT...
收藏 引用
20th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT)
作者: Dong, Zhihua Knoepfel, Kyle Lin, Meifeng Viren, Brett Yu, Haiwang Brookhaven Natl Lab Comp Sci Initiat Upton NY 11973 USA Fermilab Natl Accelerator Lab Comp Sci Div Batavia IL 60510 USA Brookhaven Natl Lab Dept Phys Upton NY 11973 USA
The Liquid Argon Time Projection Chamber (LArTPC) technology is widely used in high energy physics experiments, including the upcoming Deep Underground Neutrino Experiment (DUNE). Accurately simulating LArTPC detector... 详细信息
来源: 评论
Using an SBP2CD tool to derive a UML class diagram from a set of BPMN models  24
Using an SBP2CD tool to derive a UML class diagram from a se...
收藏 引用
13th International Conference on Software and computer Applications, ICSCA 2024
作者: Habba, Maryam Benabdellah Chaouni, Samia AlQualsadi Research Team Ensias Mohammed V University In Rabat Morocco Department Of Mathematics And Computer Science Faculty Of Sciences Ain Chock Hassan Ii University Casablanca Morocco
Organizations require advanced methods to manage their business, remain competitive and maintain efficient information systems to handle constant change. The method of alignment harmonizes an information system's ... 详细信息
来源: 评论