咨询与建议

限定检索结果

文献类型

  • 130 篇 期刊文献
  • 114 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 222 篇 工学
    • 210 篇 计算机科学与技术...
    • 167 篇 软件工程
    • 14 篇 电气工程
    • 12 篇 控制科学与工程
    • 8 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 化学工程与技术
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 93 篇 理学
    • 90 篇 数学
    • 4 篇 化学
    • 3 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 38 篇 管理学
    • 28 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 9 篇 工商管理
  • 3 篇 经济学
    • 3 篇 应用经济学
    • 1 篇 理论经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 244 篇 programming theo...
  • 10 篇 programming and ...
  • 6 篇 software enginee...
  • 5 篇 software testing
  • 4 篇 high level langu...
  • 3 篇 programming
  • 3 篇 ada
  • 3 篇 graph theory
  • 3 篇 software reliabi...
  • 3 篇 program verifica...
  • 3 篇 wireless mesh ne...
  • 3 篇 formal specifica...
  • 3 篇 capacity optimiz...
  • 3 篇 programming envi...
  • 3 篇 channel allocati...
  • 2 篇 parallel process...
  • 2 篇 formal logic
  • 2 篇 automation
  • 2 篇 automatic testin...
  • 2 篇 reliability theo...

机构

  • 2 篇 univ of pennsylv...
  • 2 篇 mgu im. m.v. lom...
  • 2 篇 moskovskij gosud...
  • 2 篇 inria rocquencou...
  • 2 篇 ecole des mines ...
  • 2 篇 inst kibernetiki...
  • 2 篇 aarhus univ aarh...
  • 2 篇 univ oxford comp...
  • 2 篇 city univ london...
  • 2 篇 eindhoven univ t...
  • 2 篇 univ calif berke...
  • 2 篇 univ of nottingh...
  • 1 篇 beijing univ of ...
  • 1 篇 poznan universit...
  • 1 篇 addis ababa univ...
  • 1 篇 hewlett-packard ...
  • 1 篇 technion israel ...
  • 1 篇 johann wolfgang ...
  • 1 篇 national institu...
  • 1 篇 at&t research

作者

  • 3 篇 liu yanhong a.
  • 2 篇 banach r
  • 2 篇 stuckey peter j.
  • 2 篇 kiselyov oleg
  • 2 篇 cousot patrick
  • 2 篇 desharnais j
  • 2 篇 zakharov v.a.
  • 2 篇 duggan d
  • 2 篇 nielson flemming
  • 2 篇 stoller scott d.
  • 2 篇 nielson hanne ri...
  • 2 篇 henzinger thomas...
  • 2 篇 sheard tim
  • 2 篇 mili a
  • 2 篇 rehof jakob
  • 1 篇 merz stephan
  • 1 篇 davidov mikhail
  • 1 篇 puel laurence
  • 1 篇 mai zhongfan
  • 1 篇 ignatushchenko v...

语言

  • 211 篇 英文
  • 17 篇 其他
  • 12 篇 俄文
  • 4 篇 中文
检索条件"主题词=Programming theory"
244 条 记 录,以下是241-250 订阅
排序:
Integrated array dependence test method based on Banerjee-GCD and Banerjee-Bound method
收藏 引用
Jisuanji Xuebao/Chinese Journal of Computers 2002年 第2期25卷 181-188页
作者: Ma, Guo-Kai Zhu, Jia-Hua Zhang, Yuan-Fang Zhu, Chuan-Qi Parallel Proc. Inst. Fudan Univ. Shanghai 200433 China
Considering the most common cases in the test suit, a dependence test method for loop parallelization is designed based on the Banerjee-GCD and Banerjee-Bound methods. It is found out that not all the dependence direc... 详细信息
来源: 评论
Transparency and soundness in WP semantics of procedures
Hua Dong Li Gong Da Xue/Journal of East China University of ...
收藏 引用
Hua Dong Li Gong Da Xue/Journal of East China University of Science and Technology 1995年 第1期21卷 95-98页
作者: Shao, Zhiqing Song, Guoxin Fu, Chunyi East China Univ of Science and Technology Shanghai China
Several mistakes in Transparency Lemma and Soundness Theorem proved by Bijlsma (1989) were pointed out by proposing some counter examples. Furthermore, the authors reproved the above results using intuitive methods wh... 详细信息
来源: 评论
On proper consideration center of gravity and pressure in design of air-to air missile
收藏 引用
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 1998年 第1期16卷 42-46页
作者: Yu, Yunfeng Yang, Jun Yang, Chen Li, Zhimin Northwestern Polytechnical Univ Xi'an China
programming (matching) problem of center of gravity (C.G.) and pressure center (P.C.) for air-air missile directly effect maximum available overload, maneuverability, characteristics of moment of force and scheme and ... 详细信息
来源: 评论
Relations among objects
收藏 引用
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics 1993年 第3期 81-88页
作者: Che, Dunren Mai, Zhongfan Beijing Univ of Aeronautics and Astronautics Beijing China
In developing object-oriented (OO) software, the first important thing is to identify objects and define the model of communicating relationships between objects. While designing objects the authors again have to anal... 详细信息
来源: 评论