New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback

Murata, Tsuyoshi (EDT)/ Mineshima, Koji (EDT)/ Bekki, Daisuke (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/09発売)
  • ポイント 104pt
  • 海外取次在庫
The Semantic Web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci) (2014)
  • 洋書

The Semantic Web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci) (2014)  Paperback,  言語:ENG

Mika, Peter (EDT)/ Tudorache, Tania (EDT)/ Bernstein, Abraham (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Enterprise Applications, Markets and Services in the Finance Industry : 10th International Workshop, FinanceCom 2020, Helsinki, Finland, August 18, 2020, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書

Enterprise Applications, Markets and Services in the Finance Industry : 10th International Workshop, FinanceCom 2020, Helsinki, Finland, August 18, 2020, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback

Clapham, Benjamin (EDT)/ Koch, Jascha-Alexander (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Lecture Notes in Computer Science) (2025)
  • 洋書

Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Lecture Notes in Computer Science) (2025)  Paperback

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 266pt
  • 海外取次在庫
Corporate Semantic Web : Wie semantische Anwendungen in Unternehmen Nutzen stiften (X.media.press)
  • 洋書

Corporate Semantic Web : Wie semantische Anwendungen in Unternehmen Nutzen stiften (X.media.press)  Hardcover,  言語:GER

Ege, Börteçin (EDT)/ Humm, Bernhard (EDT)/ Reibold, Anatol (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/06発売)
  • ご注文いただけません
The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 209pt
  • 海外取次在庫
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Expert Systems Lab Course (Springer Compass International) (2014. xi, 374 S. XI, 374 p. 4 illus. 235 mm)
  • 洋書

Expert Systems Lab Course (Springer Compass International) (2014. xi, 374 S. XI, 374 p. 4 illus. 235 mm)  Paperback

Schnupp, Peter/ Nguyen Huu, Chau T./ Bernhard, Lawrence W.

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2014発売)
  • ポイント 121pt
  • 海外取次在庫
Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ben Hedia, Belgacem (EDT)/ Maleh, Yassine (EDT)/ Krichen, Moez (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 114pt
  • 海外取次在庫
Verification and Evaluation of Computer and Communication Systems : 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Verification and Evaluation of Computer and Communication Systems : 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ben Hedia, Belgacem (EDT)/ Ghazel, Mohamed (EDT)/ Monsuez, Bruno (EDT)

  • ウェブストア価格 ¥13,394(本体¥12,177)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 121pt
  • 海外からお取り寄せ(通常6~9週間)
Nonlinear Dynamics of Active and Passive Systems of Vibration Protection (Foundations of Engineering Mechanics)
  • 洋書

Nonlinear Dynamics of Active and Passive Systems of Vibration Protection (Foundations of Engineering Mechanics)  Paperback,  言語:ENG

Kolovsky, Michail Z./ Belyaev, A.K. (TRN)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 209pt
  • 海外取次在庫
Types for Proofs and Programs, TYPES 2003 : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3085) (2004. X, 409 p. 23,5 cm)
  • 洋書

Types for Proofs and Programs, TYPES 2003 : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3085) (2004. X, 409 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Stefano Berardi, Mario Coppo and Ferruccio Damiani

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 121pt
  • 海外取次在庫
Computational Methods and Clinical Applications for Spine Imaging : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Computational Methods and Clinical Applications for Spine Imaging : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Vrtovec, Tomaž (EDT)/ Yao, Jianhua (EDT)/ Glocker, Ben (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 85pt
  • 海外取次在庫
Artificial General Intelligence : 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Artificial General Intelligence : 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Steunebrink, Bas (EDT)/ Wang, Pei (EDT)/ Goertzel, Ben (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Global Product Development : Proceedings of the 20th CIRP Design Conference, Ecole Centrale de Nantes, Nantes, France, 19th-21st April 2010 (2011)
  • 洋書

Global Product Development : Proceedings of the 20th CIRP Design Conference, Ecole Centrale de Nantes, Nantes, France, 19th-21st April 2010 (2011)  Paperback

Bernard, Alain (EDT)

  • ウェブストア価格 ¥69,228(本体¥62,935)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 629pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Bernardi, Raffaella (EDT)/ Kobele, Greg (EDT)/ Pogodalla, Sylvain (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2019/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Tools for Building a Scientific Information Platform (Studies in Computational Intelligence) (2012)
  • 洋書

Intelligent Tools for Building a Scientific Information Platform (Studies in Computational Intelligence) (2012)  Paperback,  言語:ENG

Bembenik, Robert (EDT)/ Skonieczny, Lukasz (EDT)/ Rybiński, Henryk (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/02発売)
  • ご注文いただけません
Process Management : A Guide for the Design of Business Processes (2ND)
  • 洋書

Process Management : A Guide for the Design of Business Processes (2ND)  Paperback

Becker, Jörg (EDT)/ Kugeler, Martin (EDT)/ Rosemann, Michael (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 133pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Tools for Building a Scientific Information Platform : Advanced Architectures and Solutions (Studies in Computational Intelligence) (2013)
  • 洋書

Intelligent Tools for Building a Scientific Information Platform : Advanced Architectures and Solutions (Studies in Computational Intelligence) (2013)  Paperback

Bembenik, Robert (EDT)/ Skonieczny, Lukasz (EDT)/ Rybinski, Henryk (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/06発売)
  • ご注文いただけません
Artificial General Intelligence : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Artificial General Intelligence : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Goertzel, Ben (EDT)/ Iklé, Matt (EDT)/ Potapov, Alexey (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 190pt
  • 海外取次在庫