東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.9.S88)
該当件数:4件
Program design calculi / edited by Manfred Broy
Berlin ; New York : Springer-Verlag , 1993. - (NATO ASI series ; Series F . Computer and systems sciences ; no. 118)
図書
Qualitative aspects of large scale systems : developing design rules using APL / O.I. Franksen, P. Falster, F.J. Evans
: U.S. : pbk.,: gw. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in control and information sciences ; 17)
Logical approach to systems theory / Shingo Takahashi and Yasuhiko Takahara
: pbk. - London ; New York : Springer , c1995. - (Lecture notes in control and information sciences ; 204)
Object-oriented programming : an evolutionary approach / Brad J. Cox
Reading, Mass. ; Tokyo : Addison-Wesley , c1986