咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 77,130 篇 工学
    • 66,894 篇 计算机科学与技术...
    • 46,401 篇 软件工程
    • 7,486 篇 控制科学与工程
    • 7,144 篇 电气工程
    • 6,560 篇 信息与通信工程
    • 2,773 篇 机械工程
    • 2,642 篇 电子科学与技术(可...
    • 2,097 篇 生物工程
    • 1,455 篇 生物医学工程(可授...
    • 1,281 篇 仪器科学与技术
    • 1,192 篇 动力工程及工程热...
    • 1,117 篇 材料科学与工程(可...
    • 1,110 篇 建筑学
    • 1,049 篇 土木工程
    • 1,029 篇 化学工程与技术
    • 771 篇 交通运输工程
  • 27,343 篇 理学
    • 21,251 篇 数学
    • 3,372 篇 系统科学
    • 2,967 篇 物理学
    • 2,956 篇 生物学
    • 2,952 篇 统计学(可授理学、...
    • 1,093 篇 化学
  • 13,188 篇 管理学
    • 8,906 篇 管理科学与工程(可...
    • 4,493 篇 图书情报与档案管...
    • 4,015 篇 工商管理
  • 8,062 篇 教育学
    • 7,916 篇 教育学
  • 1,473 篇 法学
    • 1,247 篇 社会学
  • 1,414 篇 经济学
    • 1,358 篇 应用经济学
  • 1,381 篇 医学
    • 1,024 篇 临床医学
    • 807 篇 基础医学(可授医学...
  • 920 篇 农学
  • 375 篇 文学
  • 201 篇 艺术学
  • 110 篇 哲学
  • 109 篇 军事学
  • 27 篇 历史学

主题

  • 10,330 篇 computer science
  • 7,418 篇 programming
  • 4,402 篇 computer program...
  • 4,373 篇 linear programmi...
  • 4,357 篇 programming prof...
  • 4,163 篇 software enginee...
  • 3,899 篇 dynamic programm...
  • 3,322 篇 logic programmin...
  • 3,081 篇 artificial intel...
  • 2,814 篇 application soft...
  • 2,637 篇 software enginee...
  • 2,581 篇 genetic programm...
  • 2,572 篇 object oriented ...
  • 2,189 篇 computer languag...
  • 2,121 篇 computer archite...
  • 2,115 篇 parallel program...
  • 2,026 篇 computational mo...
  • 2,020 篇 computer program...
  • 1,969 篇 programming tech...
  • 1,894 篇 optimization

机构

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

语言

  • 111,655 篇 英文
  • 6,078 篇 中文
  • 3,036 篇 其他
  • 103 篇 德文
  • 87 篇 日文
  • 33 篇 西班牙文
  • 31 篇 法文
  • 19 篇 俄文
  • 9 篇 葡萄牙文
  • 5 篇 土耳其文
  • 4 篇 朝鲜文
  • 2 篇 乌克兰文
  • 1 篇 波兰文
检索条件"任意字段=Science of Computer Programming"
120972 条 记 录,以下是201-210 订阅
排序:
Packing squares independently
收藏 引用
THEORETICAL computer science 2025年 1024卷
作者: Wu, Wei Halman, Nir Hu, Yannan Yagiura, Mutsunori Shizuoka Univ Grad Sch Integrated Sci & Technol 3-5-1 JohokuChuo Ku Hamamatsu Shizuoka 4328561 Japan Nagoya Univ Grad Sch Informat Furo ChoChikusa Ku Nagoya Aichi 4648601 Japan Bar Ilan Univ Alexander Kofkin Fac Engn IL-5290002 Ramat Gan Israel Tokyo Univ Sci Dept Appl Math 1-3 KagurazakaShinjuku Ku Tokyo 1628601 Japan
Given a set of squares and a strip with bounded width and infinite height, we consider a square strip packaging problem, which we call the square independent packing problem (SIPP), to minimize the strip height so tha... 详细信息
来源: 评论
MDGCN-Lt:Fair Web API Classification with Sparse and Heterogeneous Data Based on Deep GCN
收藏 引用
清华大学学报自然科学版(英文版) 2025年 第3期30卷 1294-1314页
作者: Boyuan Yan Yankun Zhang Wenwen Gong Haoyang Wan Wenwei Wang Weiyi Zhong Caixia Bu Department of School of Computer Science Qufu Normal UniversityRizhao 276500China Shandong Provincial University Laboratory for Protected Horticulture Weifang University of Science and TechnologyWeifang 261000China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of JinanJinan 250022China Department of Univalsoft Joint Stock Co. Ltd.Weifang 261000China
Developers integrate web Application programming Interfaces(APIs)into edge applications,enabling data expansion to the edge computing area for comprehensive coverage of devices in that *** develop edge applications,de... 详细信息
来源: 评论
NaijaCoder: Participatory Design for Early Algorithms Education in the Global South  2024
NaijaCoder: Participatory Design for Early Algorithms Educat...
收藏 引用
55th ACM Technical Symposium on computer science Education (SIGCSE)
作者: Alabi, Daniel Adegbile, Atinuke Afuye, Lekan Abel, Philip Monaco, Alida Columbia Univ New York NY 10027 USA Global Integrated Educ Volunteers Assoc GIEVA FCT Abuja Nigeria Cornell Univ Ithaca NY USA Twilio Inc Boston MA USA ICF Int New York NY USA
The majority of Nigerian high schoolers have little to no exposure to the basics of algorithms and programming. We believe this trajectory should change as programming offers these students, especially those from indi... 详细信息
来源: 评论
CS Concepts and Contextual Factors in Integrated Computing Activities in US Schools  2025
CS Concepts and Contextual Factors in Integrated Computing A...
收藏 引用
56th Technical Symposium on computer science Education
作者: Rahimi, Masoumeh Margulieux, Lauren E. Anderson, Erin Georgia State Univ Atlanta GA 30303 USA
Integrated computing uses computing tools and concepts to support learning in other disciplines while giving all students opportunities to experience computer science. Integrated computing is often motivated as a way ... 详细信息
来源: 评论
Evaluation of programming Languages for Memory Usage, Scalability, and Cold Start, on AWS Lambda Serverless Platform as a Case Study  29th
Evaluation of Programming Languages for Memory Usage, Scalab...
收藏 引用
29th Argentine Congress of computer science on computer science (CACIC)
作者: Rodriguez, Nelson Murazzo, Maria Martin, Adriana Rodriguez, Maths Univ Nacl San Juan Fac Ciencias Exactas Fis & Nat Dept Informat San Juan Argentina
Serverless Computing is a Cloud architecture, an alternative to the traditional model. It offers numerous advantages over the monolithic model, such as providing agility, innovation, automatic scaling, flexibility in ... 详细信息
来源: 评论
A Rule-Based Chatbot Offering Personalized Guidance in computer programming Education  20th
A Rule-Based Chatbot Offering Personalized Guidance in Compu...
收藏 引用
20th International Conference on Intelligent Tutoring Systems (ITS)
作者: Papakostas, Christos Troussas, Christos Krouska, Akrivi Sgouropoulou, Cleo Univ West Attica Dept Informat & Comp Engn Egaleo Greece
In the field of education, the integration of Artificial Intelligence technologies, particularly chatbots, has transformed education by offering personalized guidance and support to learners. This paper introduces a w... 详细信息
来源: 评论
Does Every computer Scientist Need to Know Formal Methods?
收藏 引用
FORMAL ASPECTS OF COMPUTING 2025年 第1期37卷 1-17页
作者: Broy, Manfred Brucker, Achim D. Fantechi, Alessandro Gleirscher, Mario Havelund, Klaus Kuppe, Markus Alexander Mendes, Alexandra Platzer, Andre Ringert, Jan Oliver Sullivan, Allison Tech Univ Munich Informat Munich Germany Univ Exeter Exeter England Univ Florence DINFO Sch Engn Florence Italy Univ Bremen Bremen Germany Calif Inst of Technol Jet Prop Lab Pasadena CA USA Microsoft Res Redmond WA USA Univ Porto Fac Engn INESC TEC Porto Portugal Carnegie Mellon Univ Pittsburgh PA USA Bauhaus Univ Weimar Weimar Germany Univ Texas Arlington Arlington TX USA
We focus on the integration of Formal Methods as mandatory theme in any computer science University curriculum. In particular, when considering the ACM Curriculum for computer science, the inclusion of Formal Methods ... 详细信息
来源: 评论
Interactive Algorithms: A Didactic Strategy for Non-programmers  26th
Interactive Algorithms: A Didactic Strategy for Non-programm...
收藏 引用
26th International Conference on Interactive Collaborative Learning (ICL) - Towards a Hybrid, Flexible and Socially Engaged Higher Education / 52nd IGIP International Conference on Engineering Pedagogy
作者: Hurtado Cortes, Luini Leonardo Univ Distrital Francisco Jose Caldas Bogota Colombia
This paper presents a methodology for programming Interactive Algorithms. Interactive Algorithms incorporate didactic elements within the structure of the programming code in order to expand the information and make t... 详细信息
来源: 评论
EduCodeVR: VR for programming teaching through simulated farm and traffic
收藏 引用
VISUAL computer 2025年 第7期41卷 4931-4955页
作者: Jin, Zean Bai, Yulong Song, Wei Yu, Qinghe Yue, Xiaoxin Northwest Normal Univ Coll Phys & Elect Engn Lanzhou 730070 Gansu Peoples R China
Virtual reality (VR) technology has revolutionized science, technology, engineering, arts, and mathematics (STEAM) education by simulating real-world environments, offering innovative learning methods. This study focu... 详细信息
来源: 评论
Sustainable Learning of computer programming Languages Using Mind Mapping
收藏 引用
Intelligent Automation & Soft Computing 2023年 第5期36卷 1687-1697页
作者: Shahla Gul Muhammad Asif Zubair Nawaz Muhammad Haris Aziz Shahzada Khurram Muhammad Qaiser Saleem Elturabi Osman Ahmed Habib Muhammad Shafiq Osama E.Sheta Department of Computer Science National Textile University Faisalabad37610Pakistan Department of Data Science University of the PunjabLahore54590Pakistan Department of Mechanical Engineering University of SargodhaSargodha40100Pakistan Faculty of Computing The Islamia University of BahawalpurBahawalpur63100Pakistan College of Computer Science and Information Technology Al Baha UniversityAl Baha1988Saudi Arabia Department of Information and Communication Engineering Yeungnam UniversityGyeongsan38541Korea College of Science Zagazig UniversityZagazig44511Egypt
In the current era of information technology,students need to learn modern programming languages effi*** art of teaching/learning program-ming requires many logical and conceptual *** it’s a challenging task for the i... 详细信息
来源: 评论