Jump to main content

yr 〜
yr

Search results 4

A Family of License Languages

A Family of License Languages
Paper文書・図像類
Arimoto, Yasuhito, Bjorner, Dines, Chen, Xiaoyi, Xiang, Jianwen北陸先端科学技術大学院大学情報科学研究科2007-04-23Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-006p.1-31
Other Libraries in Japan
  • Author HeadingArimoto, Yasuhito Bjorner, Dines Chen, Xiaoyi Xiang, Jianwen

Analysis of membership sharing in digital subscription services

Analysis of membership sharing in digital subscription services
Digital文書・図像類
Xiang, Jianwen, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2007-03-16Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-005p.1-26
Other Libraries in Japan
  • Author HeadingXiang, Jianwen Ogata, Kazuhiro Futatsugi, Ko...

A Domain Analysis of Artistic Works and A Digital License Language

A Domain Analysis of Artistic Works and A Digital License Language
Digital文書・図像類
Xiang, Jianwen, Bjorner, D., Chen, X., Arimoto, Y., Ogata, K., Vestergaard, R., Futatsugi, K.2006-11-28p.1-31
Other Libraries in Japan
  • Author HeadingXiang, Jianwen Bjorner, D. Chen, X. Arimoto,...

Fault tree analysis and formal methods for requirements engineering

Fault tree analysis and formal methods for requirements engineering
Paper博士論文
Jianwen Xiang [著][Jianwen Xiang][2005]<UT51-2008-D858>
National Diet LibraryOther Libraries in Japan
  • Author AliasXiang, Jianwen

Reached to the end of result.

RSS