International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 : Bilbao, Spain, June 25th-27th, 2014, Proceedings (Advances in Intelligent Systems and Computing) (2014)
  • 洋書

International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 : Bilbao, Spain, June 25th-27th, 2014, Proceedings (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

de la Puerta, José Gaviria (EDT)/ Ferreira, Iván García (EDT)/ Bringas, Pablo Garcia (EDT)

  • Springer International Publishing AG(2014/06発売)
  • ご注文いただけません
Geometry of Knowledge for Intelligent Systems (Studies in Computational Intelligence) (2013)
  • 洋書

Geometry of Knowledge for Intelligent Systems (Studies in Computational Intelligence) (2013)  Paperback

Resconi, Germano

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ご注文いただけません
Open Source Knowledge Management (Xpert.press) (2006. 280 S. m. 11 Abb. 23,5 cm)
  • 洋書

Open Source Knowledge Management (Xpert.press) (2006. 280 S. m. 11 Abb. 23,5 cm)  Hardcover

Huettenegger, Georg

  • ウェブストア価格 ¥7,203(本体¥6,549)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 65pt
  • 海外取次在庫
Combinatorial Pattern Matching : Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings (Lecture Notes in Computer Science, Volume 644) (2007. 304 S. 235 mm)
  • 洋書

Combinatorial Pattern Matching : Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings (Lecture Notes in Computer Science, Volume 644) (2007. 304 S. 235 mm)  Paperback

Herausgeber: Galil, Zvi, Crochemore, Maxime, Apostolico, Alberto, Manber, Udi

  • ウェブストア価格 ¥12,079(本体¥10,981)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 109pt
  • 海外取次在庫
Combinatorial Pattern Matching : 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993. Proceedings (Lecture Notes in Computer Science, Volume 684) (2007. 280 S. 235 mm)
  • 洋書

Combinatorial Pattern Matching : 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993. Proceedings (Lecture Notes in Computer Science, Volume 684) (2007. 280 S. 235 mm)  Paperback

Herausgeber: Galil, Zvi, Crochemore, Maxime, Apostolico, Alberto, Manber, Udi

  • ウェブストア価格 ¥12,079(本体¥10,981)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 109pt
  • 海外取次在庫
SDL 2009: Design for Motes and Mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications 5719) (2009. XII, 257 S. 235 mm)
  • 洋書
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,247(本体¥8,407)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 84pt
  • 海外取次在庫
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,303(本体¥10,276)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 102pt
  • 海外取次在庫
Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥22,609(本体¥20,554)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 205pt
  • 海外取次在庫
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,609(本体¥20,554)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 205pt
  • 海外取次在庫
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,609(本体¥20,554)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 205pt
  • 海外取次在庫
Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Human-Computer Interaction -- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥22,609(本体¥20,554)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 205pt
  • 海外取次在庫
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 (Theoretical Computer Science and General Issues) (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 (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Dowek, Gilles (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2014/07発売)
  • ポイント 102pt
  • 海外取次在庫
Mobile Computing, Applications, and Services (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications ... Vol)
  • 洋書

Mobile Computing, Applications, and Services (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications ... Vol)

Herausgegeben von Memmi, Gerard/Blanke, Ulf

  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING(2014/03発売)
  • ご注文いただけません
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発売)
  • ご注文いただけません
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

  • ウェブストア価格 ¥12,850(本体¥11,682)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 116pt
  • 海外取次在庫
Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 102pt
  • オンデマンド(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,303(本体¥10,276)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 102pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥51,408(本体¥46,735)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 467pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2. Aufl. 2025. xv, 245 S. XV, 245 p. 101 illus., 74 illus. in color. 2)
  • 洋書

Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2. Aufl. 2025. xv, 245 S. XV, 245 p. 101 illus., 74 illus. in color. 2)  Hardcover

Zhang, Guo-Qiang/Abeysinghe, Rashmie/Cui, Licong

  • ウェブストア価格 ¥14,135(本体¥12,850)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 128pt
  • 海外からお取り寄せ(通常6~9週間)