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

限定检索结果

文献类型

  • 332 篇 会议
  • 9 册 图书

馆藏范围

  • 337 篇 电子文献
  • 4 种 纸本馆藏

日期分布

学科分类号

  • 336 篇 工学
    • 336 篇 计算机科学与技术...
    • 107 篇 信息与通信工程
    • 18 篇 软件工程
  • 130 篇 理学
    • 130 篇 数学

主题

  • 12 篇 event-b
  • 10 篇 multi-objective ...
  • 8 篇 genetic programm...
  • 8 篇 evolutionary alg...
  • 7 篇 computers
  • 6 篇 refinement
  • 6 篇 formal methods
  • 6 篇 runtime analysis
  • 5 篇 reinforcement le...
  • 5 篇 approximation al...
  • 5 篇 robots
  • 5 篇 combinatorial op...
  • 5 篇 verification
  • 4 篇 graph algorithms
  • 4 篇 deep learning
  • 4 篇 model checking
  • 4 篇 abstract state m...
  • 4 篇 graph theory
  • 4 篇 theory
  • 4 篇 machine learning

机构

  • 6 篇 sorbonne univ li...
  • 5 篇 swiss fed inst t...
  • 5 篇 univ bergen dept...
  • 5 篇 eindhoven univ t...
  • 5 篇 univ southampton...
  • 5 篇 zhejiang univ ui...
  • 4 篇 univ utrecht utr...
  • 4 篇 charles univ pra...
  • 4 篇 univ tokyo jfli ...
  • 4 篇 univ dusseldorf ...
  • 3 篇 tech univ darmst...
  • 3 篇 slovak acad sci ...
  • 3 篇 univ warsaw inst...
  • 3 篇 univ primorska f...
  • 3 篇 ryerson univ dep...
  • 3 篇 beijing univ tec...
  • 3 篇 univ milan dipar...
  • 3 篇 beijing univ tec...
  • 3 篇 warsaw univ tech...
  • 3 篇 itmo univ st pet...

作者

  • 6 篇 doerr carola
  • 6 篇 leuschel michael
  • 5 篇 schewe klaus-die...
  • 5 篇 doerr benjamin
  • 4 篇 neumann frank
  • 4 篇 coello carlos a....
  • 4 篇 butler michael
  • 4 篇 back thomas
  • 4 篇 liefooghe arnaud
  • 4 篇 hoang thai son
  • 4 篇 riccobene elvini...
  • 3 篇 neumann aneta
  • 3 篇 bloznelis mindau...
  • 3 篇 sudo yuichi
  • 3 篇 yao xin
  • 3 篇 ait-ameur yamine
  • 3 篇 taubenfeld gadi
  • 3 篇 bossek jakob
  • 3 篇 snook colin
  • 3 篇 paulusma daniel

语言

  • 336 篇 英文
  • 5 篇 中文
检索条件"丛书名=Lecture Notes in Computer Science - Theoretical Computer Science and General Issues"
共 341 条 记 录，以下是341-350 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Recent Trends in Algebraic Development Techniques代数开发技术最新进展/会议文集  1
收藏
分享
引用
丛书名： lecture notes in computer science 3423 theoretical computer science and general issues
2005年
作者： Fiadeiro, Jose Luiz Mosses, Peter Orejas, Fernando
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共35页 <<  < 26 27 28 29 30 31 32 33 34 35 >  >>
回到顶部
执行限定条件