书目检索

简单检索 多字段检索 组合检索 检索结果

用户登录
全部 纸本图书 期刊
  • 基于PETRI网的计算树逻辑模型检测图书

    —刘关俊,何雷锋著

    索书号:TP393.19/00003

    标准编码:978-7-03-077284-8

    出版信息:科学出版社  2024.01  北京

  • PETRI网的元展一种并发系统模型检测方法图书

    —刘关俊著

    索书号:TP393.19/00002

    标准编码:978-7-03-066259-0

    出版信息:科学出版社  2020.10  北京

  • 雷锋日记图书

    —雷锋著

    索书号:D648/00155

    标准编码:978-7-5171-3802-0

    出版信息:中国言实出版社  2021.3  北京

    主题词: 雷锋军人

  • 雷锋语录图书

    —雷锋著

    索书号:D648/00095

    标准编码:978-7-5117-1369-8

    出版信息:中央编译出版社  2012  北京

  • 雷锋文稿图书

    —雷锋著

    索书号:D648/00194

    标准编码:978-7-5561-3169-3

    出版信息:湖南人民出版社  2023.03  长沙

  • 组合数学及应用面向计算机、信息、智能的组合计数原理图书

    —刘关俊编著

    索书号:O157/00097

    标准编码:978-7-03-080121-0

    出版信息:科学出版社  2025.01  北京

1 共: 6 条