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)版です。キャンセルは承れません。
Modern Approaches for Intelligent Information and Database Systems (Studies in Computational Intelligence)
  • 洋書

Modern Approaches for Intelligent Information and Database Systems (Studies in Computational Intelligence)  Paperback,  言語:ENG

Sieminski, Andrzej (EDT)/ Kozierkiewicz, Adrianna (EDT)/ Nunez, Manuel (EDT)

  • ウェブストア価格 ¥35,183(本体¥31,985)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 319pt
  • オンデマンド(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
  • 海外取次在庫
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)
  • 洋書

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science Vol.3236) (2004. XI, 381 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Manuel Nunez, Zakaaria Maamar a. Fernando Pelayo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th  IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)
  • 洋書

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3235) (2004. X, 377 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by David de Frutos-Escrig a. Manuel Nunez

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Advances in Computational Collective Intelligence : 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I (Communications in Computer and Information Science) (2024)
  • 洋書

Advances in Computational Collective Intelligence : 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Nguyen, Ngoc-Than (EDT)/ Franczyk, Bogdan (EDT)/ Ludwig, André (EDT)

  • ウェブストア価格 ¥17,590(本体¥15,991)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 159pt
  • 海外取次在庫
Advances in Computational Collective Intelligence : 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II (Communications in Computer and Information Science) (2024)
  • 洋書

Advances in Computational Collective Intelligence : 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Nguyen, Ngoc-Thanh (EDT)/ Franczyk, Bogdan (EDT)/ Ludwig, André (EDT)

  • ウェブストア価格 ¥20,695(本体¥18,814)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 188pt
  • 海外取次在庫
Advances in Computational Collective Intelligence : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書

Advances in Computational Collective Intelligence : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings (Communications in Computer and Information Science)  Paperback

Nguyen, Ngoc Thanh (EDT)/ Botzheim, János (EDT)/ Gulyás, László (EDT)

  • ウェブストア価格 ¥26,903(本体¥24,458)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 244pt
  • 海外取次在庫