Database Systems for Advanced Applications : 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Database Systems for Advanced Applications : 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nah, Yunmook (EDT)/ Cui, Bin (EDT)/ Lee, Sang-Won (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications : 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part III (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Database Systems for Advanced Applications : 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part III (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Nah, Yunmook (EDT)/ Cui, Bin (EDT)/ Lee, Sang-Won (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)  Paperback,  言語:ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)  Paperback,  言語:ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Evolutionary Computation in Combinatorial Optimization : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Evolutionary Computation in Combinatorial Optimization : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Paquete, Luís (EDT)/ Zarges, Christine (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Design of Adaptive Finite Element Software, w. CD-ROM : The Finite Element Toolbox ALBERTA (Lecture Notes in Computational Science and Engineering Vol.42) (2004. 300 p.)
  • 洋書
  • ポイントキャンペーン

Design of Adaptive Finite Element Software, w. CD-ROM : The Finite Element Toolbox ALBERTA (Lecture Notes in Computational Science and Engineering Vol.42) (2004. 300 p.)  Paperback

Schmidt, A./ Siebert, K. G.

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Grid Resource Management : On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5951) (2010. XV, 227 S. 235 mm)
  • 洋書
Experimental Algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Experimental Algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Goldberg, Andrew V. (EDT)/ Kulikov, Alexander S. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interaction- und Interfacedesign : Web-, Game-, Produkt- und Systemdesign Usability und Interface als Corporate Identity (x.media.press) (2010. 300 S. m. 200 Farbabb. 26 cm)
  • 洋書
  • ポイントキャンペーン

Interaction- und Interfacedesign : Web-, Game-, Produkt- und Systemdesign Usability und Interface als Corporate Identity (x.media.press) (2010. 300 S. m. 200 Farbabb. 26 cm)  Hardcover

Stapelkamp, Torsten

  • SPRINGER, BERLIN(2011/01発売)
  • ご注文いただけません
Akzeptanz von Künstlicher Intelligenz : Grundlagen intelligenter KI-Assistenten und deren vertrauensvolle Nutzung
  • 洋書
  • ポイントキャンペーン

Akzeptanz von Künstlicher Intelligenz : Grundlagen intelligenter KI-Assistenten und deren vertrauensvolle Nutzung  Paperback,  言語:GER

Scheuer, Dennis

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Vieweg(2020/02発売)
  • ポイント 298pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 218pt
  • 海外取次在庫
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science Vol.2635) (2004. X, 389 p.)
  • 洋書
  • ポイントキャンペーン

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science Vol.2635) (2004. X, 389 p.)  Paperback

Ed. by Olaf Owe, S. Krogdahl and T. Lyche

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Artificial intelligence and Machine Learning : 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Artificial intelligence and Machine Learning : 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Soliman, Khalid S. (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 478pt
  • 海外取次在庫
Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I (Communications in Computer and Information Science) (2025)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I (Communications in Computer and Information Science) (2025)  Paperback

Soliman, Khalid S. (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 338pt
  • 海外取次在庫
Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Soliman, Khalid S. (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 398pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Bowles, Juliana (EDT)/ Søndergaard, Harald (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 258pt
  • 海外取次在庫
Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kulikov, Alexander S. (EDT)/ Raskhodnikova, Sofya (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 338pt
  • 海外取次在庫
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7318) (2012. 2012. XVIII, 756 S. 42 SW-Abb. 235 mm)
  • 洋書
  • ポイントキャンペーン

How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7318) (2012. 2012. XVIII, 756 S. 42 SW-Abb. 235 mm)  Paperback

Herausgegeben von Cooper, S. Barry/ Dawar, Anuj/ Loewe, Benedikt

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Foundations and Opportunities of Biometrics : An Introduction to Technology, Applications, and Responsibilities (First Edition. 2024. xix, 169 S. XIX, 169 p. 11 illus. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Foundations and Opportunities of Biometrics : An Introduction to Technology, Applications, and Responsibilities (First Edition. 2024. xix, 169 S. XIX, 169 p. 11 illus. 235 mm)  Paperback,  言語:ENG

Salice, Dario/Salice, Jennifer

  • ウェブストア価格 ¥15,397(本体¥13,998)
  • SPRINGER, BERLIN; APRESS(2024発売)
  • ポイント 278pt
  • 海外からお取り寄せ(通常6~9週間)