Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Núñez, Manuel (EDT)/ Güdemann, Matthias (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Collective Intelligence : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書

Computational Collective Intelligence : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback

Núñez, Manuel (EDT)/ Nguyen, Ngoc Thanh (EDT)/ Camacho, David (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Collective Intelligence : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書

Computational Collective Intelligence : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback

Núñez, Manuel (EDT)/ Nguyen, Ngoc Thanh (EDT)/ Camacho, David (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)
  • 洋書

Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Counsell, Steve (EDT)/ Núñez, Manuel (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 103pt
  • 海外取次在庫