Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)  Paperback

de Boer, Frank (EDT)/ Damiani, Ferruccio (EDT)/ Hähnle, Reiner (EDT)

  • ウェブストア価格 ¥18,428(本体¥16,753)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 835pt
  • 海外取次在庫
Formal Methods for Components and Objects : 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected P
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected P  Paperback,  言語:ENG

De Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (EDT)/ Hallerstede, St

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag New York Inc(2011/03発売)
  • ポイント 540pt
  • 海外取次在庫
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers (L
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers (L  Paperback,  言語:ENG

De Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (EDT)/ Graf, Susanne (

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag New York Inc(2008/12発売)
  • ポイント 540pt
  • 海外取次在庫
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Netherlands, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4709〉
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Netherlands, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4709〉  Paperback

de Boer, Frank S. (EDT)/ Bonsangue, M. M. (et al., EDT)

  • ウェブストア価格 ¥19,096(本体¥17,360)
  • Springer(2007/10発売)
  • ポイント 865pt
  • 海外取次在庫
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4111〉
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4111〉  Paperback,  言語:ENG

de Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (et al., EDT)

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • Springer(2006/08発売)
  • ポイント 635pt
  • 海外取次在庫
Formal Methods for Components and Objects : Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (L
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (L  Paperback,  言語:ENG

Boer, Frank S. De (EDT)/ Bonsangue, Marcello M. (EDT)/ Graf, Susanne (

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag New York Inc(2005/11発売)
  • ポイント 540pt
  • 海外取次在庫
Microelectromechanical Systems - Materials and Devices IV: Volume 1299 (Mrs Proceedings)
  • 洋書
  • ポイントキャンペーン

Microelectromechanical Systems - Materials and Devices IV: Volume 1299 (Mrs Proceedings)  Paperback,  言語:ENG

DelRio, Frank W. (EDT)/ de Boer, Maarten P. (EDT)/ Eberl, Christoph (EDT)

  • ウェブストア価格 ¥8,022(本体¥7,293)
  • Cambridge University Press(2014/06発売)
  • ポイント 360pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
  • 洋書
  • ポイントキャンペーン

Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語:ENG

Roever, Willem-Paul de/ Boer, Frank de/ Hanneman, Ulrich

  • ウェブストア価格 ¥21,465(本体¥19,514)
  • Cambridge University Press(2012/01発売)
  • ポイント 975pt
  • 海外取次在庫
Microelectromechanical Systems - Materials and Devices IV (Materisal Research Society Symposium Proceedings)
  • 洋書
  • ポイントキャンペーン

Microelectromechanical Systems - Materials and Devices IV (Materisal Research Society Symposium Proceedings)  Hardcover,  言語:ENG

Delrio, Frank W. (EDT)/ De Boer, Maarten P. (EDT)/ Eberl, Christoph (E

  • Cambridge Univ Pr(2011/04発売)
  • ご注文いただけません
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書
  • ポイントキャンペーン

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback

Bjørner, Nikolaj (EDT)/ de Boer, Frank (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 540pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。