Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Ben Hedia, Belgacem (EDT)/ Chen, Yu-Fang (EDT)/ Liu, Gaiyun (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Moreira, Ana (EDT)/ Schätz, Bernhard (EDT)/ Gray, Jeff (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
Human Behavior Understanding : 6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Human Behavior Understanding : 6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Salah, Albert Ali (EDT)/ Kröse, Ben J.A. (EDT)/ Cook, Diane J. (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Finkbeiner, Bernd (EDT)/ Wies, Thomas (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 190pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science (2014)
  • 洋書
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and Ge (2014)
  • 洋書
Digital Rights Management : Technological, Economic, Legal and Political Aspects (Lecture Notes in Computer Science Vol.2770) (2003. IX, 805 p.)
  • 洋書

Digital Rights Management : Technological, Economic, Legal and Political Aspects (Lecture Notes in Computer Science Vol.2770) (2003. IX, 805 p.)  Paperback

Ed. by Eberhard Becker, W. Buhse, Dirk Guennewig et al.

  • ウェブストア価格 ¥26,774(本体¥24,340)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 243pt
  • 海外取次在庫
Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Hämmerli, Bernhard (EDT)/ Helmbrecht, Udo (EDT)/ Hommel, Wolfgang (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 114pt
  • 海外取次在庫
Advances in Depth Images Analysis and Applications : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書

Advances in Depth Images Analysis and Applications : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Jiang, Xiaoyi (EDT)/ Pereira Bellon, Olga Regina (EDT)/ Goldgof, Dmitry (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 95pt
  • 海外取次在庫
Model and Data Engineering : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Model and Data Engineering : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Ait Ameur, Yamine (EDT)/ Bellatreche, Ladjel (EDT)/ Papadopoulos, George A. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Science and Its Applications - ICCSA 2011 : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part IV (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6785) (2011. L, 663 S. 235 mm)
  • 洋書

Computational Science and Its Applications - ICCSA 2011 : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part IV (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6785) (2011. L, 663 S. 235 mm)  Paperback

Herausgegeben von Murgante, Beniamino/ Gervasi, Osvaldo/ Iglesias, Andres/ Taniar, David/ Apduhan, Bernady O.

  • ウェブストア価格 ¥26,774(本体¥24,340)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 243pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6782) (2011. L, 728 S. 235 mm)
  • 洋書

Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6782) (2011. L, 728 S. 235 mm)  Paperback

Herausgegeben von Murgante, Beniamino/ Gervasi, Osvaldo/ Iglesias, Andres/ Taniar, David/ Apduhan, Bernady O.

  • ウェブストア価格 ¥26,774(本体¥24,340)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 243pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2011 : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part III (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6784) (2011. L, 697 S. 235 mm)
  • 洋書

Computational Science and Its Applications - ICCSA 2011 : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part III (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6784) (2011. L, 697 S. 235 mm)  Paperback

Herausgegeben von Murgante, Beniamino/ Gervasi, Osvaldo/ Iglesias, Andres/ Taniar, David/ Apduhan, Bernady O.

  • ウェブストア価格 ¥26,774(本体¥24,340)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 243pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6783) (2011. L, 720 S. 235 mm)
  • 洋書

Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6783) (2011. L, 720 S. 235 mm)  Paperback

Herausgegeben von Murgante, Beniamino/ Gervasi, Osvaldo/ Iglesias, Andres/ Taniar, David/ Apduhan, Bernady O.

  • ウェブストア価格 ¥26,774(本体¥24,340)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 243pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V (Theoretical Computer Science and General Issues 6786) (2011. lviii, 662 S. LVIII, 662 p. 235 mm)
  • 洋書

Computational Science and Its Applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V (Theoretical Computer Science and General Issues 6786) (2011. lviii, 662 S. LVIII, 662 p. 235 mm)  Paperback

Herausgegeben von Murgante, Beniamino/ Gervasi, Osvaldo/ Iglesias, Andres/ Taniar, David/ Apduhan, Bernady O.

  • ウェブストア価格 ¥26,774(本体¥24,340)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 243pt
  • 海外取次在庫
Reproducible Research in Pattern Recognition : Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Reproducible Research in Pattern Recognition : Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kerautret, Bertrand (EDT)/ Colom, Miguel (EDT)/ Krähenbühl, Adrien (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software-Entwicklung für Echtzeitsysteme (2009. XVII, 261 S. m. Abb. 23,5 cm)
  • 洋書

Software-Entwicklung für Echtzeitsysteme (2009. XVII, 261 S. m. Abb. 23,5 cm)  Paperback

Hrsg. v. Juliane Benra u. Wolfgang A. Halang

  • SPRINGER, BERLIN(2009発売)
  • ご注文いただけません
Autonome Mobile Systeme 2007 : 20. Fachgespräch, Kaiserslautern, 18./19. Oktober 2007. Zum Teil in engl. Sprache (Informatik aktuell) (2007. 350 S. 23,5 cm)
  • 洋書

Autonome Mobile Systeme 2007 : 20. Fachgespräch, Kaiserslautern, 18./19. Oktober 2007. Zum Teil in engl. Sprache (Informatik aktuell) (2007. 350 S. 23,5 cm)  Paperback

Hrsg. v. Karsten Berns u. Tobias Luksch

  • SPRINGER, BERLIN(2007発売)
  • ご注文いただけません
Springer Handbook of Speech Processing (Springer Handbooks) (2008)
  • 洋書

Springer Handbook of Speech Processing (Springer Handbooks) (2008)  Hardcover,  言語:ENG

Benesty, Jacob (EDT)/ Sondhi, M. M. (EDT)/ Huang, Yiteng (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/03発売)
  • ご注文いただけません
Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7642) (2012. 2012. 196 S. 235 mm)
  • 洋書

Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7642) (2012. 2012. 196 S. 235 mm)  Paperback

Herausgegeben von Bellalta, Boris/ Vinel, Alexey/ Jonsson, Magnus/ Barcelo, Jaume/ Maslennikov, Roman

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません