1～3件／全3件 セーフサーチON
  •  
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering) （2014）
  • 洋書

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering) （2014）  Paperback

Albert, Elvira (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2014/09発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Cre
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Cre  Paperback

Albert, Elvira (EDT)/ Lanese, Ivan (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2016/06発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science) （2013）
  • 洋書

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Albert, Elvira (EDT)

  • ウェブストア価格 ¥14,901（本体¥13,547）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/05発売）
  • ポイント 135pt
  • 海外取次在庫
1～3件／全3件
  •