Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Zsók, Viktória (EDT)/ Porkoláb, Zoltán (EDT)/ Horváth, Zoltán (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 298pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Zsók, Viktória (EDT)/ Hughes, John (EDT)

  • ウェブストア価格 ¥9,881(本体¥8,983)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 178pt
  • 海外取次在庫
Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Porkoláb, Zoltán (EDT)/ Zsók, Viktória (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 338pt
  • 海外取次在庫
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,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
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,791(本体¥8,901)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 178pt
  • 海外からお取り寄せ(通常6~9週間)
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,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2018)  Paperback,  言語:ENG

Pammer-Schindler, Viktoria (EDT)/ Pérez-Sanagustín, Mar (EDT)/ Drachsler, Hendrik (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 398pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 218pt
  • オンデマンド(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,980(本体¥9,982)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 198pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 218pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 218pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 218pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Disinformation in Open Online Media : Second Multidisciplinary International Symposium, MISDOOM 2020, Leiden, the Netherlands, October 26-27, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Disinformation in Open Online Media : Second Multidisciplinary International Symposium, MISDOOM 2020, Leiden, the Netherlands, October 26-27, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

van Duijn, Max (EDT)/ Preuss, Mike (EDT)/ Spaiser, Viktoria (EDT)

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