1～5件／全5件 セーフサーチON
  •  
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, Fran （2015）
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, Fran （2015）  Paperback

Graf, Susanne (EDT)/ Viswanathan, Mahesh (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer International Publishing AG（2015/05発売）
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Margaria, Tiziana (EDT)/ Graf, Susanne (EDT)/ Larsen, Kim G. (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer Nature Switzerland AG（2019/06発売）
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉
  • 洋書

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉  Paperback

Graf, Susanne(EDT)/ Pettersson, Paul(EDT)/ Steffen, Bernhard(EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer（2024/10発売）
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) （2003. VIII, 509 p. 23,5 cm）
  • 洋書

Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) （2003. VIII, 509 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥12,697（本体¥11,543）
  • SPRINGER, BERLIN（2003発売）
  • ポイント 115pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) （2004. VIII, 373 p.）
  • 洋書

Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) （2004. VIII, 373 p.）  Paperback

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥12,697（本体¥11,543）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 115pt
  • 海外取次在庫
1～5件／全5件
  •