|
JAIST Repository >
検索結果
検索結果表示: 11-20 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 19-Dec-2006 | Documents : a domain analysis, an experiment in domain engineering | Bjorner, Dines |
| 16-Jan-2007 | The triptych process model : process assessment and improvement | Bjorner, Dines |
| 29-Jan-2007 | MITS : models of IT security : security rules & regulations : an interpretation | Bjorner, Dines |
| 16-Jan-2007 | Domain engineering | Bjorner, Dines |
| 16-Jan-2007 | The role of domain engineering in software development | Bjorner, Dines |
| 23-Apr-2007 | A Family of License Languages | Arimoto, Yasuhito; Bjorner, Dines; Chen, Xiaoyi; Xiang, Jianwen |
| 9-Jul-2001 | On the Proof of the Interpolation Theorem without using Constants | Seki, Takahiro |
| Apr-1993 | CTM2マニュアル | 佐藤, 理史; Sato, Satoshi; サトウ, サトシ |
| Mar-1994 | JAISTにおける超並列関連研究 : 1992年度-1993年度 | 佐藤, 理史[編]; Sato, Satoshi; サトウ, サトシ |
| 31-Oct-1995 | シャノン理論のAdvance course : Csiszar-Kornerの情報理論 | 植松, 友彦; Uyematsu, Tomohiko; ウエマツ, トモヒコ |
前へ
1
2
3
4
5
6
7
8
9
10
11
次へ
|
