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

限定检索结果

文献类型

  • 174 篇 会议
  • 64 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 136 篇 工学
    • 113 篇 计算机科学与技术...
    • 94 篇 软件工程
    • 31 篇 力学（可授工学、理...
    • 20 篇 控制科学与工程
    • 13 篇 机械工程
    • 12 篇 信息与通信工程
    • 11 篇 电气工程
    • 11 篇 安全科学与工程
    • 8 篇 航空宇航科学与技...
    • 6 篇 动力工程及工程热...
    • 6 篇 电子科学与技术（可...
    • 6 篇 生物工程
    • 4 篇 轻工技术与工程
    • 3 篇 光学工程
    • 3 篇 化学工程与技术
    • 3 篇 石油与天然气工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 测绘科学与技术
  • 83 篇 理学
    • 50 篇 数学
    • 33 篇 物理学
    • 17 篇 统计学（可授理学、...
    • 10 篇 系统科学
    • 6 篇 生物学
    • 4 篇 化学
    • 4 篇 大气科学
  • 25 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 历史学
  • 1 篇 农学

主题

  • 19 篇 static analysis
  • 12 篇 conferences
  • 9 篇 computational mo...
  • 7 篇 libraries
  • 7 篇 fuzzing
  • 7 篇 codes
  • 7 篇 numerical models
  • 7 篇 source coding
  • 6 篇 registers
  • 6 篇 programming
  • 6 篇 numerical simula...
  • 6 篇 software testing
  • 6 篇 software
  • 6 篇 testing
  • 6 篇 mathematical mod...
  • 6 篇 standards
  • 5 篇 tools
  • 5 篇 instruments
  • 5 篇 computer archite...
  • 5 篇 computer bugs

机构

  • 57 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 29 篇 lomonosov moscow...
  • 17 篇 moscow institute...
  • 14 篇 lomonosov moscow...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 9 篇 bauman moscow st...
  • 9 篇 bauman moscow st...
  • 8 篇 ivannikov instit...
  • 7 篇 moscow institute...
  • 7 篇 institute for sy...
  • 6 篇 ivannikov instit...
  • 5 篇 tomsk state univ...
  • 5 篇 ivannikov instit...
  • 5 篇 programming of t...
  • 5 篇 lomonosov moscow...
  • 4 篇 college of engin...
  • 4 篇 ivannikov instit...
  • 4 篇 mohamed bin zaye...

作者

  • 15 篇 yevtushenko nina
  • 12 篇 vishnyakov alexe...
  • 11 篇 kuts daniil
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 8 篇 gasnikov alexand...
  • 8 篇 burdonov igor
  • 7 篇 logunova vlada
  • 7 篇 marchevsky ilia
  • 6 篇 daniil kuts
  • 6 篇 epikhin andrey
  • 6 篇 ilia marchevsky
  • 6 篇 kobrin eli
  • 6 篇 savidov georgy
  • 6 篇 nina yevtushenko
  • 5 篇 andrey belevants...
  • 5 篇 borodin alexey
  • 5 篇 alexey vishnyako...
  • 5 篇 alexey borodin
  • 5 篇 alexander kamkin

语言

  • 235 篇 英文
  • 5 篇 其他
  • 4 篇 俄文
检索条件"机构=Institute for System Programming of the RAS"
共 242 条 记 录，以下是241-250 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Testing of Communicating systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating systems (Iwtcs '98), August 31-September 2, 1998, Tomsk, Russia
Testing of Communicating Systems: Proceedings of the IFIP TC...
收藏
分享
引用
1998年
作者： Alexandre A Petrenko Nina V Yevtushenko
来源： 评论
Perspectives of system Informatics  1
收藏
分享
引用
丛书名： Lecture Notes in Computer Science
1000年
作者： Alexander K. Petrenko Andrei Voronkov
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共25页 <<  < 16 17 18 19 20 21 22 23 24 25 >  >>
回到顶部
执行限定条件