1～5件／全5件 セーフサーチON
  •  
Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2016/02発売）
  • ポイント 104pt
  • 海外取次在庫
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Braga, Christiano (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2016/01発売）
  • ポイント 104pt
  • 海外取次在庫
Rewriting Logic and Its Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6381) （2010. X, 264 S.）
  • 洋書

Rewriting Logic and Its Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6381) （2010. X, 264 S.）  Paperback

Herausgegeben von OElveczky, Peter Csaba

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2010発売）
  • ポイント 120pt
  • 海外取次在庫
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) （2012）
  • 洋書

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) （2012）  Paperback,  言語：ENG

Arbab, Farhad (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2012/11発売）
  • ポイント 104pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語：ENG

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2017/02発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～5件／全5件
  •