咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 445,014 篇 期刊文献
  • 57,700 篇 报纸
  • 16,981 篇 学位论文
  • 16,685 篇 会议
  • 8,479 册 图书
  • 8 篇 多媒体

馆藏范围

  • 542,852 篇 电子文献
  • 2,139 种 纸本馆藏

日期分布

学科分类号

  • 148,440 篇 工学
    • 16,661 篇 材料科学与工程（可...
    • 14,957 篇 机械工程
    • 11,941 篇 土木工程
    • 11,702 篇 化学工程与技术
    • 10,820 篇 交通运输工程
    • 10,265 篇 计算机科学与技术...
    • 9,175 篇 电气工程
    • 7,738 篇 软件工程
    • 7,474 篇 建筑学
    • 7,339 篇 水利工程
    • 7,173 篇 仪器科学与技术
    • 7,022 篇 动力工程及工程热...
  • 113,915 篇 医学
    • 64,126 篇 临床医学
    • 14,530 篇 中西医结合
    • 13,687 篇 公共卫生与预防医...
    • 9,052 篇 护理学（可授医学、...
    • 9,029 篇 中医学
    • 8,136 篇 药学(可授医学、理...
    • 6,964 篇 医学技术（可授医学...
  • 74,581 篇 管理学
    • 25,040 篇 管理科学与工程(可...
    • 21,494 篇 公共管理
    • 20,759 篇 工商管理
    • 8,954 篇 农林经济管理
  • 58,160 篇 教育学
    • 51,560 篇 教育学
  • 53,083 篇 经济学
    • 49,859 篇 应用经济学
  • 40,144 篇 农学
    • 8,307 篇 作物学
  • 36,452 篇 法学
    • 15,289 篇 政治学
    • 13,238 篇 马克思主义理论
    • 8,504 篇 法学
  • 28,090 篇 理学
  • 20,430 篇 文学
    • 10,616 篇 中国语言文学
  • 10,786 篇 艺术学
  • 10,678 篇 哲学
  • 7,481 篇 历史学
  • 2,930 篇 军事学

主题

  • 4,562 篇 中国
  • 4,013 篇 治疗
  • 3,458 篇 应用
  • 2,666 篇 对策
  • 2,648 篇 诊断
  • 2,491 篇 企业
  • 2,081 篇 护理
  • 1,696 篇 企业管理
  • 1,567 篇 问题
  • 1,489 篇 儿童
  • 1,464 篇 设计
  • 1,401 篇 疗效
  • 1,325 篇 管理
  • 1,288 篇 影响因素
  • 1,269 篇 高校
  • 1,265 篇 防治
  • 1,231 篇 学生
  • 1,200 篇 并发症
  • 1,195 篇 发展
  • 1,116 篇 创新

机构

  • 1,569 篇 山东大学
  • 1,508 篇 吉林大学
  • 1,466 篇 北京大学
  • 1,399 篇 浙江大学
  • 1,310 篇 清华大学
  • 1,176 篇 上海交通大学
  • 1,110 篇 四川大学
  • 1,100 篇 同济大学
  • 1,081 篇 大连理工大学
  • 1,078 篇 哈尔滨工业大学
  • 1,062 篇 天津大学
  • 927 篇 复旦大学
  • 914 篇 中国石油大学
  • 901 篇 南京大学
  • 758 篇 中国矿业大学
  • 751 篇 苏州大学
  • 721 篇 东南大学
  • 704 篇 武汉大学
  • 690 篇 中国地质大学
  • 681 篇 华中科技大学

作者

  • 2,935 篇 陈云卿
  • 1,599 篇 孙小蕊
  • 1,582 篇 孙自豪
  • 1,108 篇 孙愫
  • 1,009 篇 张守营
  • 890 篇 程守勤
  • 832 篇 孙覆海
  • 765 篇 孙展
  • 715 篇 李荷卿
  • 701 篇 孙宪超
  • 690 篇 张守敏
  • 633 篇 孙小和
  • 576 篇 孙存准
  • 526 篇 孙奉媛
  • 520 篇 张俊卿
  • 514 篇 孙漫
  • 512 篇 李俊卿
  • 474 篇 孙小片
  • 462 篇 王俊卿
  • 442 篇 尹平孙

语言

  • 542,941 篇 中文
  • 1,712 篇 英文
  • 111 篇 日文
检索条件"作者=孙守卿"
共 544867 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于模型检测工具SPIN的安全协议分析和验证
基于模型检测工具SPIN的安全协议分析和验证
收藏
分享
引用
作者： 孙守卿 兰州大学
学位级别：硕士
随着Internet和分布式系统的广泛应用,安全协议逐渐发挥着越来越重要的作用。形式化的方法是分析安全协议的主要方法。目前已经有很多研究安全协议的理论和方法,其中比较著名的有可证明安全理论、BAN逻辑、串空间模型理论以及模型检测... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
基于产教融合模式的物联网专业创新型人才培养研究
收藏
分享
引用
电脑知识与技术 2019年 第4X期15卷 138-139页
作者： 孙守卿 山东理工大学 山东淄博255000
该文根据国家培养创新型人才培养要求,在创新型人才培养过程中,通过发挥学科特色优势,构建创新型物联网本科人才培养体系,探索培养创新型物联网本科人才的方法。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向工程教育专业认证的《离散数学》课程改革实践
收藏
分享
引用
电脑知识与技术 2019年 第12X期15卷 132-133页
作者： 孙守卿 山东理工大学计算机科学与技术学院
针对工程教育专业认证中关于“复杂工程问题”的培养要求,对计算机类专业的基础核心课程《离散数学》的教学模式、教学内容、考核形式等进行了相应的改革。通过改革,使得学生的计算机数学理论知识掌握更加扎实,培养了学生解决复杂工程... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于认知建构主义的《C语言程序设计》课程改革
收藏
分享
引用
电脑知识与技术 2020年 第28期16卷 178-179页
作者： 孙守卿 山东理工大学计算机科学与技术学院 山东淄博255000
针对目前C语言程序设计公共课程中存在的专业相关性差、学生学习兴趣低、学生动手能力差等问题。以认知建构主义理论为指导,对公共课程《C语言程序设计》的教学模式以及实验实践内容、考核评价方式等进行相应改革。通过改革,使得学生的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于工程教育专业认证的《编译原理》课程改革
收藏
分享
引用
电脑知识与技术 2019年 第10Z期15卷 104-106页
作者： 孙守卿 山东理工大学计算机科学与技术学院
针对工程教育专业认证中关于“复杂工程问题”的培养要求,对计算机类专业的基础核心课程《编译原理》的课程标准、教学内容及实验实践内容、教学模式、考核形式等进行了相应的改革。通过改革,使得学生的理论知识掌握更加扎实,培养了学... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
翻转课堂在“编译原理”实验教学中的应用实践
收藏
分享
引用
电脑知识与技术 2018年 第11X期14卷 135-136页
作者： 孙守卿 山东理工大学 山东淄博255000
随着教育信息化的不断深入,"翻转课堂"作为一种新型的教学模式是当前高校教育改革中的热点。本文针对编译原理实验课程教学中存在的问题,将翻转课堂应用到编译原理课程的实验课中,探讨了翻转课堂在编译原理教学中的具体操作,并给出了教... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于首要教学原理指导的“编译原理”课程教学实践
收藏
分享
引用
电脑知识与技术 2018年 第11Z期14卷 177-178页
作者： 孙守卿 山东理工大学 山东淄博255000
《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译原理的课程内容以"解决问题"为核心,通过唤醒旧知、展示新知、应用新知、归纳总结、融会贯通五个阶段完... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算思维培养为核心的编译原理实验教学实践
收藏
分享
引用
电脑知识与技术 2018年 第12期14卷 90-90,93页
作者： 孙守卿 鞠传香 刘晓红 山东理工大学 山东淄博255000
计算思维是当前教育界广为关注的一个重要概念。该文结合编译原理实验课程中的实验内容,以培养学生的计算思维为核心,从实验内容、实验过程及考核方式三方面,对编译原理的实验课程实施改革,从而提高学生运用形式化方法抽象问题、描述问... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
案例驱动法在《软件测试》实践教学中的研究与应用
收藏
分享
引用
科技创新导报 2018年 第22期15卷 185-186页
作者： 苏晶 张冬梅 孙守卿 山东理工大学计算机科学与技术学院 山东淄博255049
近年来,软件行业蓬勃发展,使得保证产品质量,提高用户满意度成为业界共同关注的首要任务。《软件测试》课程隶属于软件工程课程群,是软件质量保证的基础。在深入分析了目前高校软件测试课程所存在问题后,本文从测试环境的搭建、完整案... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于模型检测工具SPIN的安全协议形式化分析
基于模型检测工具SPIN的安全协议形式化分析
收藏
分享
引用
2005年全国理论计算机科学学术年会
作者： 孙守卿 李廉 章超 李彩虹 兰州大学信息科学与工程学院 兰州大学信息科学与工程学院 兰州大学信息科学与工程学院 兰州大学信息科学与工程学院
＜正＞ 1 引言安全协议是一种通信协议,它通过密码技术实现通信过程中的密钥分发以及身份认证,从而保证网络通信的安全。目前,存在多种验证安全协议的形式化方法和相应的工具。其中主要有定理证明和模型检测两种方法。定理证明是用逻辑... 详细信息
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共500页 <<  < 1 2 3 4 5 6 7 8 9 10 >  >> 跳转到页 
回到顶部
执行限定条件