Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 234pt
  • 海外取次在庫
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Chapman, Peter (EDT)/ Stapleton, Gem (EDT)/ Moktefi, Amirouche (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 430pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Symbiotic Interaction : 6th International Workshop, Symbiotic 2017, Eindhoven, the Netherlands, December 18-19, 2017, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Symbiotic Interaction : 6th International Workshop, Symbiotic 2017, Eindhoven, the Netherlands, December 18-19, 2017, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci) (2018)  Paperback,  言語:ENG

Ham, Jaap (EDT)/ Spagnolli, Anna (EDT)/ Blankertz, Benjamin (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 214pt
  • 海外取次在庫
Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Theoretical Computer Science and General Issu
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Theoretical Computer Science and General Issu  Paperback

Beyersdorff, Olaf (EDT)/ Wintersteiger, Christoph M. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living : 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living : 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Mokhtari, Mounir (EDT)/ Abdulrazak, Bessam (EDT)/ Aloulou, Hamdi (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 214pt
  • 海外取次在庫
Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Programming and Software Engineering)  Paperback

de Supinski, Bronis R. (EDT)/ Valero-Lara, Pedro (EDT)/ Martorell, Xavier (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Experimental IR Meets Multilinguality, Multimodality, and Interaction : 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Experimental IR Meets Multilinguality, Multimodality, and Interaction : 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Bellot, Patrice (EDT)/ Trabelsi, Chiraz (EDT)/ Mothe, Josiane (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Riguzzi, Fabrizio (EDT)/ Bellodi, Elena (EDT)/ Zese, Riccardo (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Otake, Mihoko (EDT)/ Kurahashi, Setsuya (EDT)/ Ota, Yuiko (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 214pt
  • 海外取次在庫
Principles and Practice of Multi-Agent Systems : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers (Lecture Notes in Computer Sci
  • 洋書
  • ポイントキャンペーン

Principles and Practice of Multi-Agent Systems : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers (Lecture Notes in Computer Sci  Paperback,  言語:ENG

Baldoni, Matteo (EDT)/ Baroglio, Cristina (EDT)/ Bex, Floris (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 214pt
  • 海外取次在庫
Advances in Visual Computing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Visual Computing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Bebis, George (EDT)/ Boyle, Richard (EDT)/ Parvin, Bahram (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Visual Computing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Advances in Visual Computing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Bebis, George (EDT)/ Boyle, Richard (EDT)/ Parvin, Bahram (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 430pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Mining and Constraint Programming : Foundations of a Cross-Disciplinary Approach (Lecture Notes in Artificial Intelligence) (2016)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Data Mining and Constraint Programming : Foundations of a Cross-Disciplinary Approach (Lecture Notes in Artificial Intelligence) (2016)  Paperback

Bessiere, Christian (EDT)/ De Raedt, Luc (EDT)/ Kotthoff, Lars (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Methods and Clinical Applications for Spine Imaging : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers (Lecture Notes in Computer Science
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computational Methods and Clinical Applications for Spine Imaging : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers (Lecture Notes in Computer Science  Paperback,  言語:ENG

Yao, Jianhua (EDT)/ Vrtovec, Tomaž (EDT)/ Zheng, Guoyan (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 214pt
  • 海外取次在庫
Communication Technologies for Vehicles : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Communication Technologies for Vehicles : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pirovano, Alain (EDT)/ Berbineau, Marion (EDT)/ Vinel, Alexey (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Everitt, Tom (EDT)/ Goertzel, Ben (EDT)/ Potapov, Alexey (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 234pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Quality: Methods and Tools for Better Software and Systems : 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Quality: Methods and Tools for Better Software and Systems : 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Bergsmann, Johannes (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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発売)
  • ご注文いただけません
Game Studies (Film, Fernsehen, Neue Medien)
  • 洋書
  • ポイントキャンペーン

Game Studies (Film, Fernsehen, Neue Medien)  Paperback,  言語:GER

Beil, Benjamin (EDT)/ Hensel, Thomas (EDT)/ Rauscher, Andreas (EDT)

  • ウェブストア価格 ¥8,614(本体¥7,831)
  • Springer VS(2017/11発売)
  • ポイント 156pt
  • 海外取次在庫
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Berger, Christian (EDT)/ Mousavi, Mohammad Reza (EDT)/ Wisniewski, Rafael (EDT)

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