Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Volume 818) (2007. 496 S. 235 mm)
  • 洋書

Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Volume 818) (2007. 496 S. 235 mm)  Paperback

Herausgeber: Dill, David L.

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 115pt
  • 海外取次在庫
Intermediate Python and Large Language Models (First Edition. 2025. xxiii, 326 S. XXIII, 326 p. 5 illus. 254 mm)
  • 洋書

Intermediate Python and Large Language Models (First Edition. 2025. xxiii, 326 S. XXIII, 326 p. 5 illus. 254 mm)  Paperback

Grigorov, Dilyan

  • ウェブストア価格 ¥13,966(本体¥12,697)
  • SPRINGER, BERLIN; APRESS(2025発売)
  • ポイント 126pt
  • 海外からお取り寄せ(通常6~9週間)
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2015)
  • 洋書

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2015)  Paperback,  言語:ENG

Fred, Ana (EDT)/ Dietz, Jan L.G. (EDT)/ Liu, Kecheng (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/05発売)
  • ポイント 102pt
  • 海外取次在庫
Biometric Authentication : First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Biometric Authentication : First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Cantoni, Virginio (EDT)/ Dimov, Dimo (EDT)/ Tistarelli, Massimo (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 102pt
  • 海外取次在庫
Requirements Engineering : First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings (Communications in Computer and Information Science) (2014)
  • 洋書

Requirements Engineering : First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings (Communications in Computer and Information Science) (2014)  Paperback,  言語:ENG

Zowghi, Didar (EDT)/ Jin, Zhi (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ご注文いただけません
Suchmaschinen verstehen (3RD)
  • 洋書

Suchmaschinen verstehen (3RD)  Hardcover

Lewandowski, Dirk

  • ウェブストア価格 ¥16,330(本体¥14,846)
  • Springer Vieweg(2021/06発売)
  • ポイント 148pt
  • 海外からお取り寄せ(通常6~9週間)
Passive and Active Measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書

Passive and Active Measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback

Karagiannis, Thomas (EDT)/ Dimitropoulos, Xenofontas (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 102pt
  • 海外取次在庫
The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science Vol.2870) (2003. XV, 931 p. 23,5 cm)
  • 洋書

The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science Vol.2870) (2003. XV, 931 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dieter Fensel, Katia Sycara a. John Mylopoulos

  • ウェブストア価格 ¥25,396(本体¥23,088)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 230pt
  • 海外取次在庫
Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2802) (2004. XI, 291 p. 23,5 cm)
  • 洋書

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2802) (2004. XI, 291 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dieter Hutter, Guenter Mueller, Werner Stephan et al.

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 115pt
  • 海外からお取り寄せ(通常6~9週間)
Practical Aspects of Knowledge Management : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3336) (2004. X, 524 p. 23,5 cm)
  • 洋書

Practical Aspects of Knowledge Management : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3336) (2004. X, 524 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Dimitris Karagiannis a. Ulrich Reimer,

  • ウェブストア価格 ¥25,396(本体¥23,088)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 230pt
  • 海外取次在庫
Medical Simulation, ISMS 2004 : International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science Vol.3078) (2004. XVI, 296 p. 23,5 cm)
  • 洋書

Medical Simulation, ISMS 2004 : International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science Vol.3078) (2004. XVI, 296 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dimitris Metaxas a. Stephane Cotin

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 115pt
  • 海外取次在庫
Advanced Concepts for Intelligent Vision Systems : 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Advanced Concepts for Intelligent Vision Systems : 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Blanc-Talon, Jacques (EDT)/ Distante, Cosimo (EDT)/ Philips, Wilfried (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Applied Reconfigurable Computing : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)
  • 洋書

Applied Reconfigurable Computing : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)  Paperback

Sano, Kentaro (EDT)/ Soudris, Dimitrios (EDT)/ Hübner, Michael (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Fred, Ana (EDT)/ Dietz, Jan L. G. (EDT)/ Aveiro, David (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering : 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering : 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Bergsmann, Johannes (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer International Publishing AG(2014/01発売)
  • ポイント 92pt
  • 海外取次在庫
Graph-Theoretic Concepts in Computer Science : 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Graph-Theoretic Concepts in Computer Science : 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback

Kratsch, Dieter (EDT)/ Todinca, Ioan (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Grid-Computing : Eine Basistechnologie für Computational Science (eXamen.press) (2010. XVIII, 530 S. 23,5 cm)
  • 洋書

Grid-Computing : Eine Basistechnologie für Computational Science (eXamen.press) (2010. XVIII, 530 S. 23,5 cm)  Paperback

Hrsg. v. Dietmar Fey

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Pan, Jeff Z. (EDT)/ Calvanese, Diego (EDT)/ Eiter, Thomas (EDT)

  • ウェブストア価格 ¥13,268(本体¥12,062)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cryptology and Network Security : 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings (Security and Cryptology) (2014)
  • 洋書

Cryptology and Network Security : 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings (Security and Cryptology) (2014)  Paperback,  言語:ENG

Gritzalis, Dimitris (EDT)/ Kiayias, Aggelos (EDT)/ Askoxylakis, Ioannis (EDT)

  • Springer International Publishing AG(2014/09発売)
  • ご注文いただけません
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Galmiche, Didier (EDT)/ Larchey-Wendling, Dominique (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 92pt
  • 海外取次在庫