Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abate, Alessandro (EDT)/ Boldo, Sylvie (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Lightweight Cryptography for Security and Privacy : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Lightweight Cryptography for Security and Privacy : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bogdanov, Andrey (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • 海外取次在庫
Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Cuppens-Boulahia, Nora (EDT)/ Lambrinoudakis, Costas (EDT)/ Cuppens, Frédéric (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 103pt
  • 海外取次在庫
Product Lifecycle Management and the Industry of the Future : 14th IFIP WG 5.1 International Conference, PLM 2017, Seville, Spain, July 10-12, 2017, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり

Product Lifecycle Management and the Industry of the Future : 14th IFIP WG 5.1 International Conference, PLM 2017, Seville, Spain, July 10-12, 2017, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Ríos, José (EDT)/ Bernard, Alain (EDT)/ Bouras, Abdelaziz (EDT)

  • Springer International Publishing AG(2017/12発売)
  • ご注文いただけません
Social-Media-Analyse - mehr als nur eine Wordcloud : HMD Best Paper Award 2016 (Essentials) (1. Aufl. 2017. xi, 28 S. XI, 28 S. 5 Abb., 3 Abb. in Farbe. 210 mm)
  • 洋書

Social-Media-Analyse - mehr als nur eine Wordcloud : HMD Best Paper Award 2016 (Essentials) (1. Aufl. 2017. xi, 28 S. XI, 28 S. 5 Abb., 3 Abb. in Farbe. 210 mm)  Paperback,  言語:GER

Boeck, Matthias/Koebler, Felix/Anderl, Eva

  • ウェブストア価格 ¥3,708(本体¥3,371)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2017発売)
  • ポイント 33pt
  • 海外取次在庫
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bogomolov, Sergiy (EDT)/ Martel, Matthieu (EDT)/ Prabhakar, Pavithra (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Connectomics in NeuroImaging : First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Connectomics in NeuroImaging : First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wu, Guorong (EDT)/ Laurienti, Paul (EDT)/ Bonilha, Leonardo (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 103pt
  • 海外取次在庫
Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound : International Workshops, BIVPCS 2017 and POCUS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings (Image Proc
  • 洋書
  • 電子版あり

Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound : International Workshops, BIVPCS 2017 and POCUS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings (Image Proc  Paperback,  言語:ENG

Cardoso, M. Jorge (EDT)/ Arbel, Tal (EDT)/ Tavares, João Manuel R.S. (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dou, Yong (EDT)/ Lin, Haixiang (EDT)/ Guangyu, Sun (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Similarity Search and Applications : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Similarity Search and Applications : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Beecks, Christian (EDT)/ Borutta, Felix (EDT)/ Kroger, Peer (EDT)

  • ウェブストア価格 ¥14,485(本体¥13,169)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 131pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bowen, Jonathan P. (EDT)/ Zhu, Huibiao (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Bouajjani, Ahmed (EDT)/ Monniaux, David (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

de Barros, Jose Acacio (EDT)/ Coecke, Bob (EDT)/ Pothos, Emmanuel (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Tojo, Satoshi (EDT)/ Nguyen, Le Minh (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 206pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Tojo, Satoshi (EDT)/ Nguyen, Le Minh (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 206pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Product Lifecycle Management for Digital Transformation of Industries : 13th IFIP WG 5.1 International Conference, PLM 2016, Columbia, SC, USA, July 11-13, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり

Product Lifecycle Management for Digital Transformation of Industries : 13th IFIP WG 5.1 International Conference, PLM 2016, Columbia, SC, USA, July 11-13, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Harik, Ramy (EDT)/ Rivest, Louis (EDT)/ Bernard, Alain (EDT)

  • Springer International Publishing AG(2017/03発売)
  • ご注文いただけません
System Modeling and Optimization : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり

System Modeling and Optimization : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Bociu, Lorena (EDT)/ Désidéri, Jean-Antoine (EDT)/ Habbal, Abderrahmane (EDT)

  • Springer International Publishing AG(2017/04発売)
  • ご注文いただけません
Functional Statistics and Related Fields (Contributions to Statistics)
  • 洋書

Functional Statistics and Related Fields (Contributions to Statistics)  Paperback,  言語:ENG

Aneiros, Germán (EDT)/ G. Bongiorno, Enea (EDT)/ Cao, Ricardo (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 206pt
  • 海外取次在庫
On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers (Information Systems and Applications, incl.
  • 洋書
  • 電子版あり

On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers (Information Systems and Applications, incl.  Paperback,  言語:ENG

Ciuciu, Ioana (EDT)/ Debruyne, Christophe (EDT)/ Panetto, Hervé (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence for Knowledge Management : Third IFIP WG 12.6 International Workshop, AI4KM 2015, Held at IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technolog
  • 洋書
  • 電子版あり

Artificial Intelligence for Knowledge Management : Third IFIP WG 12.6 International Workshop, AI4KM 2015, Held at IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technolog  Hardcover,  言語:ENG

Mercier-Laurent, Eunika (EDT)/ Boulanger, Danielle (EDT)

  • Springer International Publishing AG(2017/03発売)
  • ご注文いただけません