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

限定检索结果

文献类型

  • 42 篇 期刊文献
  • 19 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 43 篇 工学
    • 34 篇 计算机科学与技术...
    • 28 篇 软件工程
    • 8 篇 信息与通信工程
    • 8 篇 生物工程
    • 5 篇 电气工程
    • 5 篇 生物医学工程（可授...
    • 4 篇 动力工程及工程热...
    • 4 篇 控制科学与工程
    • 3 篇 光学工程
    • 3 篇 电子科学与技术（可...
    • 3 篇 安全科学与工程
    • 2 篇 机械工程
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程（可...
    • 2 篇 化学工程与技术
  • 27 篇 理学
    • 13 篇 物理学
    • 12 篇 数学
    • 9 篇 生物学
    • 6 篇 统计学（可授理学、...
    • 3 篇 化学
    • 3 篇 系统科学
  • 13 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 10 篇 医学
    • 8 篇 基础医学(可授医学...
    • 8 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学

主题

  • 4 篇 software enginee...
  • 2 篇 computer science
  • 2 篇 software systems
  • 2 篇 computer archite...
  • 2 篇 software testing
  • 2 篇 semantics
  • 2 篇 decision making
  • 2 篇 deep neural netw...
  • 2 篇 automobile simul...
  • 2 篇 multiobjective o...
  • 1 篇 helium
  • 1 篇 information syst...
  • 1 篇 conferences
  • 1 篇 adaptive systems
  • 1 篇 semantic type
  • 1 篇 hardware design ...
  • 1 篇 concurrent compu...
  • 1 篇 quantum entangle...
  • 1 篇 automation
  • 1 篇 continuous time ...

机构

  • 3 篇 dept. of electri...
  • 3 篇 yonsei frontier ...
  • 3 篇 faculty of elect...
  • 3 篇 barcelona
  • 3 篇 singidunum unive...
  • 3 篇 lero the science...
  • 2 篇 department of so...
  • 2 篇 school of mathem...
  • 2 篇 national institu...
  • 2 篇 science and engi...
  • 2 篇 department of ps...
  • 2 篇 fondazione bruno...
  • 2 篇 applied computer...
  • 2 篇 harvard paulson ...
  • 2 篇 applied science ...
  • 2 篇 examination bran...
  • 2 篇 software and inf...
  • 2 篇 valeo vision sys...
  • 2 篇 clausthal univer...
  • 2 篇 university of in...

作者

  • 3 篇 eising ciarán
  • 3 篇 tomamichel marco
  • 3 篇 rashid tarik a.
  • 3 篇 molloy dara
  • 3 篇 bacanin nebojsa
  • 3 篇 mirjalili seyeda...
  • 3 篇 scanlan anthony
  • 3 篇 deegan brian mic...
  • 3 篇 jakab daniel
  • 3 篇 alsadoon abeer
  • 3 篇 fattah polla
  • 3 篇 mohandas reenu
  • 3 篇 braun alexander
  • 2 篇 elleuch nourchèn...
  • 2 篇 rautschka michae...
  • 2 篇 lewin ian
  • 2 篇 mahanta priyaksh...
  • 2 篇 shoeibi afshin
  • 2 篇 buyko ekaterina
  • 2 篇 moosaei hossein

语言

  • 56 篇 英文
  • 5 篇 其他
检索条件"机构=Applied Computer and Software Engineering Centre"
共 61 条 记 录，以下是61-70 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
LPF and MPLω — A logical comparison of VDM SL and COLD-K  4th
收藏
分享
引用
4th International Symposium of VDM on Formal software Development Methods, VDM 1991
作者： Middelburg, C.A. Renardel De Lavalette, G.R. Dept. Of Computer Science PTT Research Dr. Neher Laboratories P.O. Box 421 Leidschendam2260 AK Netherlands Software Engineering Research Centre P.O. Box 424 Utrecht3500 AK Netherlands Section Applied Logic University of Utrecht P.O. Box 80126 Utrecht3508 TC Netherlands
This paper compares the finitary three-valued logic LPF and the infinitary two-valued logic MPLω, the logics underlying VDM SL and COLD-K. These logics reflect different approaches to reasoning about partial function... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共7页 <<  < 1 2 3 4 5 6 7 >  >>
回到顶部
执行限定条件