1～7件／全7件 セーフサーチON
  •  
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

  • ウェブストア価格 ¥33,204（本体¥30,186）
  • Ios Pr Inc（2017/10発売）
  • ポイント 301pt
  • 海外からお取り寄せ（通常6～9週間）
Software Reliability Methods
  • 洋書

Software Reliability Methods  Paperback,  言語：ENG

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

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer（2011/11発売）
  • ポイント 110pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 110pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer-Verlag New York Inc（2005/12発売）
  • ポイント 110pt
  • 海外からお取り寄せ（通常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 (

  • ウェブストア価格 ¥35,356（本体¥32,142）
  • Ios Pr Inc（2015/05発売）
  • ポイント 321pt
  • 海外からお取り寄せ（通常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

  • ウェブストア価格 ¥28,304（本体¥25,731）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 257pt
  • 海外取次在庫
1～7件／全7件
  •