咨询与建议

限定检索结果

文献类型

  • 107,736 篇 会议
  • 15,586 册 图书
  • 11,134 篇 期刊文献
  • 5 篇 学位论文

馆藏范围

  • 134,318 篇 电子文献
  • 176 种 纸本馆藏

日期分布

学科分类号

  • 106,599 篇 工学
    • 92,330 篇 计算机科学与技术...
    • 66,243 篇 软件工程
    • 22,855 篇 信息与通信工程
    • 12,397 篇 电气工程
    • 8,178 篇 生物工程
    • 8,157 篇 控制科学与工程
    • 8,034 篇 生物医学工程(可授...
    • 6,234 篇 光学工程
    • 4,379 篇 电子科学与技术(可...
    • 3,758 篇 机械工程
    • 3,572 篇 化学工程与技术
    • 2,753 篇 建筑学
    • 2,309 篇 动力工程及工程热...
    • 2,285 篇 土木工程
    • 1,991 篇 安全科学与工程
  • 55,337 篇 理学
    • 40,807 篇 数学
    • 9,522 篇 生物学
    • 8,428 篇 物理学
    • 7,763 篇 统计学(可授理学、...
    • 4,799 篇 系统科学
    • 3,118 篇 化学
  • 22,101 篇 管理学
    • 13,119 篇 图书情报与档案管...
    • 9,977 篇 管理科学与工程(可...
    • 6,904 篇 工商管理
  • 5,677 篇 医学
    • 5,224 篇 临床医学
    • 4,500 篇 基础医学(可授医学...
    • 3,132 篇 药学(可授医学、理...
  • 3,671 篇 法学
    • 3,114 篇 社会学
  • 2,439 篇 教育学
    • 2,397 篇 教育学
  • 2,145 篇 经济学
    • 2,139 篇 应用经济学
  • 1,810 篇 农学
  • 167 篇 军事学
  • 108 篇 文学
  • 51 篇 艺术学
  • 15 篇 哲学
  • 2 篇 历史学

主题

  • 7,997 篇 artificial intel...
  • 4,779 篇 computer communi...
  • 3,519 篇 information syst...
  • 2,773 篇 algorithm analys...
  • 2,440 篇 software enginee...
  • 2,003 篇 image processing...
  • 1,972 篇 semantics
  • 1,939 篇 computers
  • 1,923 篇 information stor...
  • 1,903 篇 user interfaces ...
  • 1,589 篇 computer applica...
  • 1,527 篇 pattern recognit...
  • 1,469 篇 data mining and ...
  • 1,439 篇 computer vision
  • 1,403 篇 software enginee...
  • 1,379 篇 database managem...
  • 1,248 篇 distributed comp...
  • 1,219 篇 theory of comput...
  • 1,216 篇 computer circuit...
  • 1,167 篇 computer systems...

机构

  • 199 篇 university of sc...
  • 153 篇 huazhong univers...
  • 151 篇 department of co...
  • 143 篇 institute of inf...
  • 121 篇 department of co...
  • 116 篇 tsinghua univers...
  • 115 篇 shanghai jiao to...
  • 112 篇 national institu...
  • 95 篇 school of comput...
  • 91 篇 chinese academy ...
  • 85 篇 école des ponts ...
  • 83 篇 department of co...
  • 76 篇 karnataka bangal...
  • 72 篇 department of co...
  • 71 篇 college of compu...
  • 71 篇 school of comput...
  • 65 篇 university of el...
  • 65 篇 university of ch...
  • 64 篇 college of compu...
  • 62 篇 school of comput...

作者

  • 73 篇 vardi moshe y.
  • 70 篇 wang lei
  • 60 篇 zhang lei
  • 59 篇 pnueli amir
  • 47 篇 hancock edwin r.
  • 41 篇 huang yueh-min
  • 41 篇 marina l. gavril...
  • 40 篇 li xin
  • 39 篇 li yang
  • 39 篇 stuckey peter j.
  • 38 篇 man ka lok
  • 37 篇 jiang xiaoyi
  • 37 篇 liu bo
  • 35 篇 zhang tao
  • 34 篇 yu yong
  • 33 篇 panayiotis zaphi...
  • 33 篇 jianying zhou
  • 31 篇 andrea vedaldi
  • 31 篇 hsu tsan-sheng
  • 31 篇 lee dong chun

语言

  • 130,933 篇 英文
  • 1,701 篇 其他
  • 1,495 篇 中文
  • 327 篇 德文
  • 4 篇 法文
  • 1 篇 加泰罗尼亚文
检索条件"任意字段=Lecture Notes in Computer Science"
134461 条 记 录,以下是1-10 订阅
排序:
lecture notes in computer science  5th
收藏 引用
5th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 1999
作者: Goos, G. Hartmanis, J. Leeuwen, J. International Conference on the Theory and Application of Cryptology and Information Security Singapore
来源: 评论
lecture notes in computer science
Lecture Notes in Computer Science
收藏 引用
The First International Conference on Web-Age Information Management
~~
来源: 评论
lecture notes in computer science
收藏 引用
2005年
作者: Themis Panayiotopoulos Jonathan Matthew Gratch Ruth Aylett Daniel Ballin Patrick Olivier Thomas Rist
来源: 评论
lecture notes in computer science
收藏 引用
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics) 2001年 2220 LNCS卷
作者: Goos, G. Hartmanis, J. Van Leeuwen, J.
The proceedings contain 12 papers. The topics discussed include: an XML-based runtime user interface description language for mobile computing devices;model-based user interface design using markup concepts;abstract u... 详细信息
来源: 评论
Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, lecture notes in computer science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455.
收藏 引用
Bulletin of Symbolic Logic 2025年 第3期30卷 427-431页
来源: 评论
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
15th European Symposium on Research in computer Security, ESORICS 2010
作者: Gritzalis, Dimitris Preneel, Bart Theoharidou, Marianthi
来源: 评论
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
8th International Workshop on Runtime Verification, RV 2008
作者: Leucker, Martin
No abstract available
来源: 评论
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
7th International Conference on Computational Methods in Systems Biology, CMSB 2009
作者: Degano, Pierpaolo Gorrieri, Roberto
来源: 评论
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Third International Atlantic Web Intelligence Conference on Advances in Web Intelligence, AWIC 2005
作者: Szczepaniak, Piotr S. Kacprzyk, Janusz Niewiadomski, Adam
No abstract available
来源: 评论
lecture notes in computer science (including subseries lecture notes in Artificial Intelligence and lecture notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
16th European Symposium on Research in computer Security, ESORICS 2011
作者: Atluri, Vijay Diaz, Claudia Rutgers University MSIS Department and CIMIC 1 Washington Park Newark NJ 07102 United States K.U. Leuven ESAT/COSIC Kasteelpark Arenberg 10 3001 Leuven-Heverlee Belgium
来源: 评论