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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
It's All about Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

It's All about Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Boer, Frank (EDT)/ Bonsangue, Marcello (EDT)/ Rutten, Jan (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 109pt
  • 海外取次在庫
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (2013)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 99pt
  • 海外取次在庫
Die Reformation und ihr Mittelalter (Melanchthon-Schriften der Stadt Bretten MSB 14) (2015. VII, 478 S. 5 Farbabbildungen. 24 cm)
  • 洋書

Die Reformation und ihr Mittelalter (Melanchthon-Schriften der Stadt Bretten MSB 14) (2015. VII, 478 S. 5 Farbabbildungen. 24 cm)  Hardcover

Herausgegeben von Frank, Guenter/ Leppin, Volker/ Mitarbeit: Boer, Jan-Hendryk de/ Dieter, Theodor/ Frank, Guenter/ Hartmann, Martina/ Leppin, Volker/ Mensching, Guenther

  • ウェブストア価格 ¥17,696(本体¥16,088)
  • FROMMANN-HOLZBOOG VERLAG E.K.(2015発売)
  • ポイント 160pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)
  • 洋書

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Aichernig, Bernhard K./ de Boer, Frank S./ Bonsangue, Marcello M.

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 126pt
  • 海外取次在庫
Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7604) (2012. 2012. X, 390 S. 235 mm)
  • 洋書
Handbook of Dutch Church History (2014. 679 S. with 4 fig. 237 mm)
  • 洋書

Handbook of Dutch Church History (2014. 679 S. with 4 fig. 237 mm)  Hardcover

Herausgegeben von Selderhuis, Herman J./ Mitarbeit: van der Pol, Frank/ Nissen, Peter/ den Boer, William A./ van Asselt, Willem/ de Groot, Aart/ Harinck, George

  • ウェブストア価格 ¥36,436(本体¥33,124)
  • VANDENHOECK & RUPRECHT(2014発売)
  • ポイント 331pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 109pt
  • 海外取次在庫