Jump to main content

yr 〜
yr

Search results 31

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 第2版 (トップエスイー入門講座 ; 1)

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 第2版 (トップエスイー入門講座 ; 1)
PaperDigital図書
浅井治 著, 石田晴久 監修近代科学社2019.3<M154-M28>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)01088715 00020380 00192997

アジャイルイントロダクション : Agile開発の光と影 (トップエスイー入門講座 ; 2)

アジャイルイントロダクション : Agile開発の光と影 (トップエスイー入門講座 ; 2)
PaperDigital図書
Bertrand Meyer 著, 石川冬樹 監修, 土肥拓生, 前澤悠太, 末永俊一郎 訳近代科学社2018.12<M154-M3>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00471567 01235605 01153317 001311259 001311261 00192997

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
PaperDigital図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00388337 01140681 00192997

人工知能 改訂2版 (IT Text)

人工知能 改訂2版 (IT Text)
PaperDigital図書
本位田真一 監修, 松本一教, 宮原哲浩, 永井保夫, 市瀬龍太郎 共著オーム社2016.10<M121-L282>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00192997 00954693 01005723 01005730 00...

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
PaperDigital図書
大須賀昭彦 監修, 長谷川哲夫, 田原康之, 磯部祥尚 著近代科学社2012.9<M159-J1720>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00681425 001120391 01140687 00192997

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
PaperDigital図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)01235605 00166447 00192997

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座 ; 1)

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座 ; 1)
PaperDigital図書
浅井治 著, 石田晴久 監修近代科学社2009.5<M159-J559>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)01088715 00020380 00192997

要求工学概論 : 要求工学の基本概念から応用まで (トップエスイー基礎講座 ; 2)

要求工学概論 : 要求工学の基本概念から応用まで (トップエスイー基礎講座 ; 2)
PaperDigital図書
大西淳 監修, 妻木俊彦, 白銀純子 著近代科学社2009.9<M159-J675>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00711532 00717168 01176240 00192997

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
PaperDigital図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00148547 01038784 01140686 01140687 00192997

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 ; 1)

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 ; 1)
PaperDigital図書
田中譲 監修, 磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治, 田原康之 著近代科学社2008.9<M159-J303>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00179761 01140681 01140682 01140684 00192997

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)
PaperDigital図書
中島震 監修, 来間啓伸 著近代科学社2007.12<M159-J54>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00892083 01115484 00192997

考えるコンテンツ「スマーティブ」 (丸善ライブラリー)

考えるコンテンツ「スマーティブ」 (丸善ライブラリー)
PaperDigital図書
本位田真一, 吉岡信和, 由利伸子 著丸善2006.3<M154-H391>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00192997 01038784 01038785

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)
PaperDigital図書
深澤良彰 監修, 鷲崎弘宜, 丸山勝久, 山本里枝子, 久保淳人 著近代科学社2007.12<M159-J56>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00291904 00952711 01071356 01115487 00192997

不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境

不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境
Paper図書
本位田真一, 国立情報学研究所 [著][本位田真一]2003-2006<Y151-H15200003>
National Diet Library
  • Author Heading (ID)00192997 00821713

オブジェクト指向からエージェント指向へ : ソフトウェアのこれからを知る入門書 増補改訂

オブジェクト指向からエージェント指向へ : ソフトウェアのこれからを知る入門書 増補改訂
Paper図書
本位田真一, 大須賀昭彦 著ソフトバンクパブリッシング2001.12<M159-G4296>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00192997 00681425

An alignment algorithm between concept hierarchies / Ichise Ryutaro, Takeda Hideaki, and Honiden Shinichi. (NII technical report)

An alignment algorithm between concept hierarchies / Ichise Ryutaro, Takeda Hideaki, and Honiden Shinichi. (NII technical report)
Paper図書
National Institute of Informatics2001.<MA211-A206>
National Diet Library
  • Author Heading (ID)00179695 00192997

UMLによるビジネスモデリング

UMLによるビジネスモデリング
Paper図書
Hans-Erik Eriksson, Magnus Penker 著, 鞍田友美, 本位田真一 監訳, 東秀明 [ほか]訳ソフトバンクパブリッシング2002.5<M159-G4593>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00714777 00714778 00879559 00192997 00879560

人工知能 (IT text)

人工知能 (IT text)
Paper図書
本位田真一 監修, 松本一教, 宮原哲浩, 永井保夫 共著オーム社2005.7<M121-H160>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00192997 00954693 01005723 01005730 00...

エージェント技術 : オブジェクト指向トラック (ソフトウェアテクノロジーシリーズ ; 3)

エージェント技術 : オブジェクト指向トラック (ソフトウェアテクノロジーシリーズ ; 3)
Paper図書
本位田真一, 飯島正, 大須賀昭彦 著共立出版1999.7<M159-G2749>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00192997 00747211 00681425 00402182

オブジェクト指向における再利用のためのデザインパターン 改訂版

オブジェクト指向における再利用のためのデザインパターン 改訂版
Paper図書
Erich Gamma [ほか]著, 本位田真一, 吉田和樹 監訳ソフトバンクパブリッシング1999.11<YU1-5747>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00513369 00192997 00399004
RSS