NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • 1
  • Tagged with
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.091 seconds)
1

An Integrated Theory of Type-Based Static and Dynamic Verification / 型に基づく静的・動的検証の統合理論

Sekiyama, Taro 23 March 2016 (has links)
© 2015 Springer. http://dx.doi.org/10.1007/978-3-319-26529-2_11© 2015 ACM, Inc. http://doi.acm.org/10.1145/2676726.2676996 / 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19863号 / 情博第614号 / 新制||情||107(附属図書館) / 32899 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授 五十嵐 淳, 教授 山本 章博, 教授 岡部 寿男 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM
refinement types
contracts
dynamic verification
gradual typing
manifest contracts
007
2

圧縮と曲げを受ける鋼部材セグメントの終局ひずみと鋼アーチ橋の動的耐震照査への応用

葛, 漢彬, GE, Hanbin, 河野, 豪, KONO, Takeshi, 宇佐美, 勉, USAMI, Tsutomu 03 1900 (has links)
No description available.
Dynamic verification procedure
動的耐震照査法
failure strain
終局ひずみ
large axial force ratio
大軸力比
seismic performance
耐震性能
steel arch bridge
鋼アーチ橋
steel member
鋼部材

Page generated in 0.0948 seconds