咨询与建议

限定检索结果

文献类型

  • 1,398 篇 期刊文献
  • 596 册 图书
  • 524 篇 会议
  • 78 件 标准
  • 53 篇 学位论文
  • 1 篇 资讯

馆藏范围

  • 2,649 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 1,562 篇 工学
    • 1,219 篇 计算机科学与技术...
    • 604 篇 软件工程
    • 310 篇 电气工程
    • 248 篇 生物工程
    • 122 篇 信息与通信工程
    • 110 篇 控制科学与工程
    • 19 篇 材料科学与工程(可...
    • 17 篇 机械工程
    • 14 篇 仪器科学与技术
    • 12 篇 化学工程与技术
    • 10 篇 电子科学与技术(可...
    • 8 篇 网络空间安全
  • 464 篇 理学
    • 271 篇 生物学
    • 202 篇 统计学(可授理学、...
    • 100 篇 数学
    • 54 篇 物理学
    • 14 篇 化学
    • 14 篇 科学技术史(分学科...
    • 9 篇 系统科学
  • 129 篇 管理学
    • 66 篇 管理科学与工程(可...
    • 55 篇 图书情报与档案管...
    • 20 篇 公共管理
    • 9 篇 工商管理
  • 117 篇 教育学
    • 110 篇 教育学
    • 19 篇 心理学(可授教育学...
  • 67 篇 农学
    • 56 篇 作物学
  • 65 篇 医学
    • 53 篇 基础医学(可授医学...
    • 14 篇 临床医学
  • 21 篇 法学
    • 19 篇 社会学
  • 15 篇 文学
  • 12 篇 经济学
    • 9 篇 应用经济学
  • 6 篇 哲学
  • 6 篇 艺术学
  • 3 篇 历史学

主题

  • 2,650 篇 programming lang...
  • 355 篇 nasa technical r...
  • 355 篇 (ntrs)
  • 235 篇 software
  • 198 篇 algorithms
  • 195 篇 software enginee...
  • 147 篇 computer program...
  • 136 篇 programming
  • 133 篇 computer program...
  • 123 篇 compilers
  • 110 篇 computer softwar...
  • 104 篇 data processing
  • 101 篇 computer graphic...
  • 98 篇 computers
  • 87 篇 reports
  • 81 篇 internet
  • 79 篇 semantics
  • 70 篇 computational bi...
  • 68 篇 information tech...
  • 67 篇 artificial intel...

机构

  • 16 篇 中国电子技术标准...
  • 15 篇 上海宝信软件股份...
  • 15 篇 上海浦东软件平台...
  • 13 篇 上海鲁齐信息科技...
  • 13 篇 北京邮电大学
  • 12 篇 上海计算机软件技...
  • 9 篇 univ washington ...
  • 8 篇 国家应用软件产品...
  • 8 篇 univ penn philad...
  • 8 篇 南宁市平方软件新...
  • 7 篇 iso/iec jtc 1
  • 7 篇 iso/tc 184
  • 7 篇 university of pe...
  • 5 篇 珠海南方软件网络...
  • 5 篇 microsoft res re...
  • 5 篇 swiss fed inst t...
  • 5 篇 university of wa...
  • 5 篇 辽宁北方实验室有...
  • 5 篇 深圳市中联信信息...
  • 5 篇 univ arizona dep...

作者

  • 8 篇 袁玉宇
  • 8 篇 李家宏
  • 8 篇 张旸旸
  • 8 篇 蔡立志
  • 8 篇 张露莹
  • 8 篇 丁志刚
  • 8 篇 hanenberg stefan
  • 8 篇 hansen pb
  • 7 篇 wang danli
  • 7 篇 stefik andreas
  • 6 篇 knecht markus
  • 6 篇 stiller burkhard
  • 5 篇 左家平
  • 5 篇 tanter eric
  • 5 篇 张建良
  • 5 篇 刘振宇
  • 5 篇 潘国瑞
  • 5 篇 rosu grigore
  • 4 篇 欧阳树生
  • 4 篇 griswold re

语言

  • 2,363 篇 英文
  • 144 篇 中文
  • 126 篇 其他
  • 9 篇 西班牙文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 俄文
  • 1 篇 立陶宛文
  • 1 篇 挪威文
检索条件"主题词=Programming Languages"
2650 条 记 录,以下是91-100 订阅
排序:
A Formal Verification Library Design for Behavioral Refinement of CompCert Clight
收藏 引用
IEEE ACCESS 2025年 13卷 26927-26944页
作者: Kim, Yoonseung Seoul Natl Univ Inst Comp Technol Seoul 08826 South Korea Yale Univ Comp Sci Dept New Haven CT 06511 USA
As computer systems become increasingly ubiquitous in our daily lives, ensuring the safety and reliability of system software has become a major concern across various fields of computer science. Among the various met... 详细信息
来源: 评论
Ten simple rules to complete successfully a computational MSc thesis project
收藏 引用
PLOS COMPUTATIONAL BIOLOGY 2025年 第1期21卷 e1012756页
作者: Saccenti, Edoardo Furlan, Cristina Wageningen Univ & Res Lab Syst & Synthet Biol Wageningen Netherlands
The thesis project is an essential step to obtain an MSc degree. Within STEM and Life Sciences disciplines, computational theses have specific characteristics that differentiate them from wet laboratory ones. In this ... 详细信息
来源: 评论
Smart contract languages: A comparative analysis
收藏 引用
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2025年 164卷
作者: Bartoletti, Massimo Benetollo, Lorenzo Bugliesi, Michele Crafa, Silvia Dal Sasso, Giacomo Pettinau, Roberto Pinna, Andrea Piras, Mattia Rossi, Sabina Salis, Stefano Spano, Alvise Tkachenko, Viacheslav Tonelli, Roberto Zunino, Roberto Univ Cagliari Cagliari Italy Univ CaFoscari Venezia Venice Italy Tech Univ Denmark Copenhagen Denmark Univ Padua Padua Italy Univ Trento Trento Italy
Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are bei... 详细信息
来源: 评论
MobsPy: A programming language for biochemical reaction networks
收藏 引用
PLOS COMPUTATIONAL BIOLOGY 2025年 第5期21卷 e1013024页
作者: Cravo, Fabricio Prakash, Gayathri Fuegger, Matthias Nowak, Thomas Univ Paris Saclay CNRS ENS Paris Saclay LMF Gif Sur Yvette France Univ Paris Saclay CNRS LISN Gif Sur Yvette France Northeastern Univ Boston MA USA Rice Univ Houston TX USA Inst Univ France Paris France
Biochemical Reaction Networks (BCRNs) model species and their interactions via reactions. They have been extensively used in chemistry and extended to biological settings by generalizing the reactions' kinetics. H... 详细信息
来源: 评论
Classical computation over quantum architectures
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2024年 第8期34卷 1526-1555页
作者: Della Schiava, Alex Piazza, Carla Romanello, Riccardo Univ Udine Dept Math Comp Sci & Phys I-33100 Udine Italy
The lack of purely Quantum programming languages constitutes a hurdle in the general description of quantum computational processes;the implementation is heavily dependent on the considered quantum computational model... 详细信息
来源: 评论
DECIDING EQUATIONS IN THE TIME WARP ALGEBRA
收藏 引用
LOGICAL METHODS IN COMPUTER SCIENCE 2024年 第1期20卷 8:1-8:22页
作者: Van Gool, Sam Guatto, Adrien Metcalfe, George Santschi, Simon Univ Paris Cite IRIF Paris France Univ Bern Math Inst Bern Switzerland
. Join-preserving maps on the discrete time scale omega+, referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in the course of program execution. T... 详细信息
来源: 评论
Do developer perceptions have borders? Comparing C code responses across continents
收藏 引用
SOFTWARE QUALITY JOURNAL 2024年 第2期32卷 431-457页
作者: Zhuang, Yanyan Yan, Yu Delong, Lois Anne Yeh, Martin K. Univ Colorado Colorado Springs Dept Comp Sci Colorado Springs CO 80918 USA Univ Calif San Diego Teaching Learning Commons La Jolla CA 92093 USA NYU Dept Comp Sci & Engn Brooklyn NY 11201 USA Penn State Univ Brandywine Coll Informat Sci & Technol Media PA 19063 USA
Recent studies have empirically validated the existence of small patterns in C code, named atoms of confusion (or atoms for short), that can interfere with program comprehension. The focus of this research is an attem... 详细信息
来源: 评论
From Monitors to Monitors: A Primitive History
收藏 引用
MINDS AND MACHINES 2024年 第SUPPL 1期34卷 51-71页
作者: Astarte, Troy K. Swansea Univ Dept Comp Sci Swansea Wales
As computers became multi-component systems in the 1950s, handling the speed differentials efficiently was identified as a major challenge. The desire for better understanding and control of 'concurrency' spre... 详细信息
来源: 评论
State of the art in program analysis
收藏 引用
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2025年 第2期27卷 221-223页
作者: Monat, Raphael Rubio-Gonzalez, Cindy Univ Lille Inria CNRS Cent LilleUMR 9189CRIStAL F-59000 Lille France Univ Calif Davis 1 Shields Ave Davis CA 95616 USA
Over the last several decades, static and dynamic program analysis techniques have received widespread attention. Their application to mainstream programming languages always requires extending theories and finding pr... 详细信息
来源: 评论
Ten simple rules for training scientists to make better software
收藏 引用
PLOS COMPUTATIONAL BIOLOGY 2024年 第9期20卷 e1012410页
作者: Gallagher, Kit Creswell, Richard Lambert, Ben Robinson, Martin Lei, Chon Lok Mirams, Gary R. Gavaghan, David J. Univ Oxford Doctoral Training Ctr Oxford England Univ Oxford Dept Comp Sci Oxford England Univ Oxford Dept Stat Oxford England Univ Macau Fac Hlth Sci Dept Biomed Sci Macau Peoples R China Univ Nottingham Ctr Math Med & Biol Sch Math Sci Nottingham England
来源: 评论