Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Urban, Christian (EDT)/ Zhang, Xingyuan (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 218pt
  • 海外取次在庫
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III (Lecture Notes in Artificial Intelligence)  Paperback

Liu, Honghai (EDT)/ Kubota, Naoyuki (EDT)/ Zhu, Xiangyang (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 218pt
  • 海外取次在庫
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Liu, Honghai (EDT)/ Kubota, Naoyuki (EDT)/ Zhu, Xiangyang (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Liu, Honghai (EDT)/ Kubota, Naoyuki (EDT)/ Zhu, Xiangyang (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 218pt
  • 海外取次在庫
Information Security : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Information Security : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Lopez, Javier (EDT)/ Mitchell, Chris J. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 218pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Bifet, Albert (EDT)/ May, Michael (EDT)/ Zadrozny, Bianca (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 218pt
  • 海外取次在庫
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)  Paperback

Beklemishev, Lev D. (EDT)/ Blass, Andreas (EDT)/ Dershowitz, Nachum (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
String Processing and Information Retrieval : 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

String Processing and Information Retrieval : 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Iliopoulos, Costas (EDT)/ Puglisi, Simon (EDT)/ Yilmaz, Emine (EDT)

  • Springer International Publishing AG(2015/09発売)
  • ご注文いただけません
Systems, Software and Services Process Improvement : 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Systems, Software and Services Process Improvement : 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

O'Connor, Rory V. (EDT)/ Umay Akkaya, Mariye (EDT)/ Kemaneci, Kerem (EDT)

  • Springer International Publishing AG(2015/09発売)
  • ご注文いただけません
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)  Paperback

Finkbeiner, Bernd (EDT)/ Pu, Geguang (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
VLSI-SoC: Internet of Things Foundations : 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers (Ifip Advances in Information and Communic
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

VLSI-SoC: Internet of Things Foundations : 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers (Ifip Advances in Information and Communic  Hardcover

Claesen, Luc (EDT)/ Sanz-Pascual, Maria-Teresa (EDT)/ Reis, Ricardo (EDT)

  • Springer International Publishing AG(2015/11発売)
  • ご注文いただけません
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Butler, Michael (EDT)/ Conchon, Sylvain (EDT)/ Zaïdi, Fatiha (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Semantic Web Evaluation Challenges : Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Semantic Web Evaluation Challenges : Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Gandon, Fabien (EDT)/ Cabrio, Elena (EDT)/ Stankovic, Milan (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Network and System Security : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Network and System Security : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Qiu, Meikang (EDT)/ Xu, Shouhuai (EDT)/ Yung, Moti (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 218pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Combinatorial Optimization and Applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Combinatorial Optimization and Applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lu, Zaixin (EDT)/ Kim, Donghyun (EDT)/ Wu, Weili (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 218pt
  • 海外取次在庫
High Performance Computing : Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

High Performance Computing : Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Osthoff, Carla (EDT)/ Navaux, Philippe Olivier Alexandre (EDT)/ Barrios Hernandez, Carlos Jaime (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Euro-Par 2015: Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Euro-Par 2015: Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Hunold, Sascha (EDT)/ Costan, Alexandru (EDT)/ Giménez, Domingo (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trusted Systems : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Trusted Systems : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Yung, Moti (EDT)/ Zhu, Liehuang (EDT)/ Yang, Yanjiang (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 218pt
  • 海外取次在庫
Cloud Computing and Big Data : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Cloud Computing and Big Data : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers (Programming and Software Engineering)  Paperback

Qiang, Weizhong (EDT)/ Zheng, Xianghan (EDT)/ Hsu, Ching-Hsien (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。