High Performance Computing - HiPC 2004 : 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings (Lecture Notes in Computer Science Vol.3296) (2004. XXV, 530 p. 23,5 cm)
  • 洋書

High Performance Computing - HiPC 2004 : 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings (Lecture Notes in Computer Science Vol.3296) (2004. XXV, 530 p. 23,5 cm)  言語:ENG

Ed. by Luc Bouge and Viktor K. Prasanna

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Agile Processes in Software Engineering and Extreme Programming : 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Agile Processes in Software Engineering and Extreme Programming : 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Stray, Viktoria (EDT)/ Stol, Klaas-Jan (EDT)/ Paasivaara, Maria (EDT)

  • ウェブストア価格 ¥9,117(本体¥8,289)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 82pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) (2012. 2012. X, 457 S.)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) (2012. 2012. X, 457 S.)  Paperback

Herausgegeben von Kuncak, Viktor/ Rybalchenko, Andrey

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Pattern Recognition and Information Processing : 13th International Conference, PRIP 2016, Minsk, Belarus, October 3-5, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Pattern Recognition and Information Processing : 13th International Conference, PRIP 2016, Minsk, Belarus, October 3-5, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Krasnoproshin, Viktor V. (EDT)/ Ablameyko, Sergey V. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Agile Processes in Software Engineering and Extreme Programming : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings (Lecture Notes in Business Information Processing) (2020)
  • 洋書

Agile Processes in Software Engineering and Extreme Programming : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings (Lecture Notes in Business Information Processing) (2020)  Paperback,  言語:ENG

Stray, Viktoria (EDT)/ Hoda, Rashina (EDT)/ Paasivaara, Maria (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 97pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Open Semantic Technologies for Intelligent Systems : 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16-18, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Open Semantic Technologies for Intelligent Systems : 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16-18, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Golenkov, Vladimir (EDT)/ Krasnoproshin, Viktor (EDT)/ Golovko, Vladimir (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 106pt
  • 海外取次在庫
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Majumdar, Rupak (EDT)/ Kuncak, Viktor (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Majumdar, Rupak (EDT)/ Kuncak, Viktor (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Pattern Recognition and Information Processing : 14th International Conference, PRIP 2019, Minsk, Belarus, May 21-23, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Pattern Recognition and Information Processing : 14th International Conference, PRIP 2019, Minsk, Belarus, May 21-23, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Ablameyko, Sergey V. (EDT)/ Krasnoproshin, Viktor V. (EDT)/ Lukashevich, Maryna M. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。