Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Rovatsos, Michael (EDT)/ Vouros, George (EDT)/ Julian, Vicente (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 104pt
  • 海外取次在庫
Economics of Grids, Clouds, Systems, and Services : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers (Computer Communication Networks and Telecommunications)
  • 洋書
  • 電子版あり

Economics of Grids, Clouds, Systems, and Services : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers (Computer Communication Networks and Telecommunications)  Paperback

Altmann, Jörn (EDT)/ Silaghi, Gheorghe Cosmin (EDT)/ Rana, Omer F. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Collaborative Robotics : First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Interactive Collaborative Robotics : First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Ronzhin, Andrey (EDT)/ Rigoll, Gerhard (EDT)/ Meshcheryakov, Roman (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cryptology and Network Security : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings (Security and Cryptology)
  • 洋書
  • 電子版あり

Cryptology and Network Security : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings (Security and Cryptology)  Paperback

Foresti, Sara (EDT)/ Persiano, Giuseppe (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 104pt
  • 海外取次在庫
Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Seehusen, Fredrik (EDT)/ Felderer, Michael (EDT)/ Großmann, Jürgen (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 85pt
  • 海外取次在庫
Internet and Distributed Computing Systems : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Internet and Distributed Computing Systems : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Pathan, Mukaddim (EDT)/ Wei, Guiyi (EDT)/ Fortino, Giancarlo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 104pt
  • 海外取次在庫
Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III (Lecture Notes in Computer Science) (2013)
  • 洋書

Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Kotzé, Paula (EDT)/ Marsden, Gary (EDT)/ Lindgaard, Gitte (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 208pt
  • 海外取次在庫
Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (Lecture Notes in Computer Science) (2013)
  • 洋書

Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Kotzé, Paula (EDT)/ Marsden, Gary (EDT)/ Lindgaard, Gitte (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 208pt
  • 海外取次在庫
Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (Lecture Notes in Computer Science) (2013)
  • 洋書

Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Kotzé, Paula (EDT)/ Marsden, Gary (EDT)/ Lindgaard, Gitte (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 208pt
  • 海外取次在庫
Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (Lecture Notes in Computer Science) (2013)
  • 洋書

Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Kotzé, Paula (EDT)/ Marsden, Gary (EDT)/ Lindgaard, Gitte (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 208pt
  • 海外取次在庫
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6806) (2011. XV, 763 S.)
  • 洋書

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6806) (2011. XV, 763 S.)  Paperback

Herausgegeben von Gopalakrishnan, Ganesh/ Qadeer, Shaz

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 119pt
  • 海外取次在庫
Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Dowek, Gilles (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/07発売)
  • ポイント 104pt
  • 海外取次在庫
Mobile Computing, Applications, and Services : 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications En
  • 洋書
Agent and Multi-Agent Systems: Technologies and Applications : Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 (Advances in Intelligent Systems and Computing) (2014)
  • 洋書

Agent and Multi-Agent Systems: Technologies and Applications : Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Jezic, Gordan (EDT)/ Kusek, Mario (EDT)/ Lovrek, Ignac (EDT)

  • Springer International Publishing AG(2014/06発売)
  • ご注文いただけません
Guide to Numerical Algorithm Design and Development : Including Legacy Examples from Fortran and MathCAD in High Precision (Texts in Computer Science) (2025. xxv, 287 S. XXV, 287 p. 7 illus. in color. 235 mm)
  • 洋書

Guide to Numerical Algorithm Design and Development : Including Legacy Examples from Fortran and MathCAD in High Precision (Texts in Computer Science) (2025. xxv, 287 S. XXV, 287 p. 7 illus. in color. 235 mm)  Hardcover

Delic, George

  • ウェブストア価格 ¥19,735(本体¥17,941)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 179pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Núñez, Manuel (EDT)/ Güdemann, Matthias (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback

Bieger, Jordi (EDT)/ Goertzel, Ben (EDT)/ Potapov, Alexey (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 104pt
  • 海外取次在庫
Medical Computer Vision: Algorithms for Big Data : International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Gr (2014)
  • 洋書

Medical Computer Vision: Algorithms for Big Data : International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Gr (2014)  Paperback,  言語:ENG

Menze, Bjoern (EDT)/ Langs, Georg (EDT)/ Montillo, Albert (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 104pt
  • 海外取次在庫
Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, SSPR & SPR 2012, Hiroshima, Japan, November 7-9, 2012, Proceedings (Lecture Notes in Computer Science .7626) (2012. 2012. 780 S.)
  • 洋書

Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, SSPR & SPR 2012, Hiroshima, Japan, November 7-9, 2012, Proceedings (Lecture Notes in Computer Science .7626) (2012. 2012. 780 S.)  Paperback

Herausgegeben von Gimel farb, Georgy/ Hancock, Edwin/ Imiya, Atsushi/ Kuijper, Arjan/ Kudo, Mineichi

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback

Ciardo, Gianfranco (EDT)/ Kindler, Ekkart (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。