Dependable Software Systems Engineering (NATO Science for Peace and Security: D: Information and Communication Security)
  • 洋書
  • ポイントキャンペーン

Dependable Software Systems Engineering (NATO Science for Peace and Security: D: Information and Communication Security)  Paperback,  言語:ENG

Pretschner, Alexander (EDT)/ Peled, Doron (EDT)/ Hutzelmann, Thomas (E

  • ウェブストア価格 ¥32,740(本体¥29,764)
  • Ios Pr Inc(2017/10発売)
  • ポイント 1,485pt
  • 海外からお取り寄せ(通常6~9週間)
Software Reliability Methods
  • 洋書
  • ポイントキャンペーン

Software Reliability Methods  Paperback,  言語:ENG

Peled, Doron A./ Clarke, E. M. (FRW)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer(2011/11発売)
  • ポイント 540pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)  Paperback

Artho, Cyrille (EDT)/ Legay, Axel (EDT)/ Peled, Doron (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 540pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Technology for Verification and Analysis : Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture  Paperback,  言語:ENG

Peled, Doron A. (EDT)/ Tsay, Yih-kuen (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag New York Inc(2005/12発売)
  • ポイント 540pt
  • 海外からお取り寄せ(通常6~9週間)
Dependable Software Systems Engineering (NATO Science for Peace and Security Series)
  • 洋書
  • ポイントキャンペーン

Dependable Software Systems Engineering (NATO Science for Peace and Security Series)  Hardcover,  言語:ENG

Irlbeck, Maximilian (EDT)/ Peled, Doron (EDT)/ Pretschner, Alexander (

  • ウェブストア価格 ¥34,863(本体¥31,694)
  • Ios Pr Inc(2015/05発売)
  • ポイント 1,580pt
  • 海外からお取り寄せ(通常6~9週間)
金融理論の基本モデル<br>Fundamental Models in Financial Theory (The Mit Press) -- Hardback
  • 洋書
  • ポイントキャンペーン

金融理論の基本モデル
Fundamental Models in Financial Theory (The Mit Press) -- Hardback
 Hardcover,  言語:ENG

Peleg, Doron

  • Mit Press Ltd(2014/03発売)
  • ご注文いただけません
Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) (2004. XII, 536 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) (2004. XII, 536 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Rajeev Alur and Doron A. Peled

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 1,270pt
  • 海外取次在庫