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,155(本体¥11,050)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 110pt
  • オンデマンド(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,155(本体¥11,050)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Lazovik, Alexander (EDT)/ Schulte, Stefan (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Development Aid—Populism and the End of the Neoliberal Agenda (Springerbriefs in Philosophy)
  • 洋書
  • 電子版あり

Development Aid—Populism and the End of the Neoliberal Agenda (Springerbriefs in Philosophy)  Paperback,  言語:ENG

Jakupec, Viktor

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2017/12発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cratering in Marine Environments and Ice (Impact Studies) (2004. 290 p.)
  • 洋書

Cratering in Marine Environments and Ice (Impact Studies) (2004. 290 p.)  Hardcover

Ed. by H. Dypvik, M. Burchell and P. Claeys

  • ウェブストア価格 ¥41,768(本体¥37,971)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 379pt
  • 海外取次在庫
Genetic Algorithms for Applied CAD Problems (Studies in Computational Intelligence .212) (2009. 2011. 256 S. 113 SW-Abb., 12 Tabellen. 235 mm)
  • 洋書

Genetic Algorithms for Applied CAD Problems (Studies in Computational Intelligence .212) (2009. 2011. 256 S. 113 SW-Abb., 12 Tabellen. 235 mm)  Paperback,  言語:ENG

Kureichik, Viktor M./ Malioukov, Sergey P./ Kureichik, Vladimir V./ Malioukov, Alexander S.

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 253pt
  • 海外取次在庫
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,920(本体¥12,655)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 126pt
  • 海外取次在庫
Handbook of Brain Connectivity (Understanding Complex Systems) (2007)
  • 洋書

Handbook of Brain Connectivity (Understanding Complex Systems) (2007)  Paperback

Jirsa, Viktor K. (EDT)/ McIntosh, A.R. (EDT)

  • ウェブストア価格 ¥48,629(本体¥44,209)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 442pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Analytical Imaging Techniques for Soft Matter Characterization (Engineering Materials) (2012)
  • 洋書

Analytical Imaging Techniques for Soft Matter Characterization (Engineering Materials) (2012)  Paperback

Mittal, Vikas/ Matsko, Nadejda B.

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/07発売)
  • ポイント 221pt
  • 海外取次在庫
Kulturgerontologie : Konstellationen, Relationen und Distinktionen (Altern & Gesellschaft)
  • 洋書

Kulturgerontologie : Konstellationen, Relationen und Distinktionen (Altern & Gesellschaft)  Paperback

Kolland, Franz (EDT)/ Gallistl, Vera (EDT)/ Parisot, Viktoria (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer VS(2021/11発売)
  • ポイント 160pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structural Chemistry of Boron and Silicon (Topics in Current Chemistry .131) (Softcover reprint of the original 1st ed. 1986. 2013. vii, 195 S. VII,)
  • 洋書

Structural Chemistry of Boron and Silicon (Topics in Current Chemistry .131) (Softcover reprint of the original 1st ed. 1986. 2013. vii, 195 S. VII,)  Paperback,  言語:ENG

Mitarbeit: Alekseev, N. Viktorovich/ Heller, Gert/ Niedenzu, Kurt/ Tandura, S. Nikolaevich/ Trofimenko, Swiatoslaw

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 126pt
  • 海外取次在庫
Intelligent Computing Paradigm and Cutting-edge Technologies : Proceedings of the First International Conference on Innovative Computing and Cutting-edge Technologies (ICICCT 2019), Istanbul, Turkey, October 30-31, 2019 (Learning and Analytics in Int
  • 洋書
  • 電子版あり

Intelligent Computing Paradigm and Cutting-edge Technologies : Proceedings of the First International Conference on Innovative Computing and Cutting-edge Technologies (ICICCT 2019), Istanbul, Turkey, October 30-31, 2019 (Learning and Analytics in Int  Hardcover,  言語:ENG

Jain, Lakhmi C. (EDT)/ Peng, Sheng-Lung (EDT)/ Alhadidi, Basim (EDT)

  • ウェブストア価格 ¥49,417(本体¥44,925)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 449pt
  • 海外からお取り寄せ(通常6~9週間)
Intelligent Computing Paradigm and Cutting-edge Technologies : Proceedings of the Second International Conference on Innovative Computing and Cutting-edge Technologies (ICICCT 2020) (Learning and Analytics in Intelligent Systems)
  • 洋書

Intelligent Computing Paradigm and Cutting-edge Technologies : Proceedings of the Second International Conference on Innovative Computing and Cutting-edge Technologies (ICICCT 2020) (Learning and Analytics in Intelligent Systems)  Hardcover,  言語:ENG

Favorskaya, Margarita N. (EDT)/ Peng, Sheng-Lung (EDT)/ Simic, Milan (EDT)

  • ウェブストア価格 ¥48,629(本体¥44,209)
  • Springer Nature Switzerland AG(2021/04発売)
  • ポイント 442pt
  • 海外取次在庫
Computations and Computing Devices in Mathematics Education before the Advent of Electronic Calculators (Mathematics Education in the Digital Era)
  • 洋書
  • 電子版あり

Computations and Computing Devices in Mathematics Education before the Advent of Electronic Calculators (Mathematics Education in the Digital Era)  Hardcover

Volkov, Alexei (EDT)/ Freiman, Viktor (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer International Publishing AG(2019/01発売)
  • ポイント 341pt
  • 海外取次在庫
Advanced Information Systems Engineering : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Advanced Information Systems Engineering : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Dustdar, Schahram (EDT)/ Yu, Eric (EDT)/ Salinesi, Camille (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 110pt
  • 海外取次在庫
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,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Modern Ylide Chemistry : Applications in Ligand Design, Organic and Catalytic Transformations (Structure and Bonding)
  • 洋書

Modern Ylide Chemistry : Applications in Ligand Design, Organic and Catalytic Transformations (Structure and Bonding)  Paperback

Gessner, Viktoria H. (EDT)

  • ウェブストア価格 ¥66,313(本体¥60,285)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 602pt
  • 海外取次在庫
Creativity and Technology in Mathematics Education (Mathematics Education in the Digital Era)
  • 洋書

Creativity and Technology in Mathematics Education (Mathematics Education in the Digital Era)  Paperback,  言語:ENG

Freiman, Viktor (EDT)/ Tassell, Janet Lynne (EDT)

  • ウェブストア価格 ¥28,734(本体¥26,122)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 261pt
  • 海外取次在庫
Spine Surgery Basics
  • 洋書

Spine Surgery Basics  Paperback,  言語:ENG

Patel, Vikas V. (EDT)/ Patel, Alpesh (EDT)/ Harrop, James S. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ご注文いただけません
Software Business : 13th International Conference, ICSOB 2022, Bolzano, Italy, November 8-11, 2022, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Software Business : 13th International Conference, ICSOB 2022, Bolzano, Italy, November 8-11, 2022, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Carroll, Noel (EDT)/ Nguyen-Duc, Anh (EDT)/ Wang, Xiaofeng (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 221pt
  • 海外取次在庫