咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 491 篇 会议
  • 13 篇 期刊文献
  • 7 册 图书

馆藏范围

  • 511 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 320 篇 工学
    • 241 篇 计算机科学与技术...
    • 176 篇 软件工程
    • 95 篇 电气工程
    • 29 篇 控制科学与工程
    • 21 篇 机械工程
    • 18 篇 信息与通信工程
    • 14 篇 生物医学工程（可授...
    • 14 篇 生物工程
    • 10 篇 电子科学与技术（可...
    • 8 篇 材料科学与工程（可...
    • 6 篇 核科学与技术
    • 5 篇 石油与天然气工程
    • 4 篇 仪器科学与技术
    • 4 篇 交通运输工程
    • 2 篇 光学工程
    • 2 篇 建筑学
  • 61 篇 理学
    • 29 篇 数学
    • 14 篇 物理学
    • 14 篇 生物学
    • 6 篇 系统科学
    • 4 篇 统计学（可授理学、...
  • 28 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 8 篇 图书情报与档案管...
    • 6 篇 工商管理
    • 3 篇 公共管理
  • 12 篇 农学
    • 12 篇 作物学
  • 5 篇 医学
  • 4 篇 法学
    • 2 篇 法学
    • 2 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 文学

主题

  • 48 篇 programming
  • 38 篇 logic gates
  • 31 篇 logic programmin...
  • 28 篇 programming prof...
  • 28 篇 software enginee...
  • 25 篇 linear programmi...
  • 23 篇 software
  • 15 篇 computational mo...
  • 14 篇 java
  • 14 篇 logic
  • 14 篇 probabilistic lo...
  • 12 篇 computer program...
  • 11 篇 optimization
  • 11 篇 detectors
  • 11 篇 dynamic programm...
  • 11 篇 testing
  • 10 篇 object oriented ...
  • 10 篇 fuzzy logic
  • 10 篇 parallel program...
  • 10 篇 data models

机构

  • 3 篇 nasa ames resear...
  • 3 篇 george mason uni...
  • 3 篇 carnegie mellon ...
  • 3 篇 stillman school ...
  • 3 篇 imperial coll lo...
  • 2 篇 mayo fdn rochest...
  • 2 篇 iran univ sci & ...
  • 2 篇 univ copenhagen ...
  • 2 篇 chalmers univers...
  • 2 篇 university of fe...
  • 2 篇 school of comput...
  • 2 篇 ludwig maximilia...
  • 2 篇 texas tech unive...
  • 2 篇 tu wien austria
  • 2 篇 graz university ...
  • 2 篇 katholieke univ ...
  • 2 篇 graduate school ...
  • 2 篇 zagazig universi...
  • 2 篇 iran university ...
  • 2 篇 agh university o...

作者

  • 5 篇 toni francesca
  • 4 篇 azzolini damiano
  • 4 篇 gupta gopal
  • 3 篇 hanbong lee
  • 3 篇 gavanelli marco
  • 3 篇 riguzzi fabrizio
  • 3 篇 eiter thomas
  • 3 篇 coblenz michael
  • 3 篇 satoh ken
  • 3 篇 džeroski sašo
  • 2 篇 lucarini stephen
  • 2 篇 thevapalan andre
  • 2 篇 liu yanhong a.
  • 2 篇 m.a. farahat
  • 2 篇 lavrac nada
  • 2 篇 v. kodaganallur
  • 2 篇 rose emma
  • 2 篇 osaka naotoshi
  • 2 篇 radoslaw klimek
  • 2 篇 gebser martin

语言

  • 506 篇 英文
  • 5 篇 其他
检索条件"任意字段=39th International Conference on Logic Programming"
共 511 条 记 录，以下是511-520 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Automata, Languages, and programming  1
收藏
分享
引用
丛书名： Lecture Notes in Computer Science
1000年
作者： Artur Czumaj Kurt Mehlhorn Andrew Pitts Roger Wattenhofer
this two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th international Colloquium on Automata, Languages and programming, ICALP 2012, held in Warwick, UK, in July 2012. the total... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共52页 <<  < 43 44 45 46 47 48 49 50 51 52 >  >>
回到顶部
执行限定条件