Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa
  • 洋書
  • ポイントキャンペーン

Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa  Paperback,  言語:ENG

Hildebrandt, Thomas (EDT)/ Ravara, António (EDT)/ van der Werf, Jan Martijn (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Image Analysis and Recognition : 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Image Analysis and Recognition : 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Campilho, Aurélio (EDT)/ Karray, Fakhri (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 390pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Statistical Language and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Statistical Language and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Král, Pavel (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Graphic Recognition. Current Trends and Challenges : 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Graphic Recognition. Current Trends and Challenges : 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Lamiroy, Bart (EDT)/ Dueire Lins, Rafael (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Knowledge Representation for Health Care : HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Knowledge Representation for Health Care : HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Riaño, David (EDT)/ Lenz, Richard (EDT)/ Reichert, Manfred (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 214pt
  • 海外取次在庫
Privacy and Identity Management. Facing up to Next Steps : 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised Selected Papers (Ifip Advances in Information and Communicatio
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Privacy and Identity Management. Facing up to Next Steps : 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised Selected Papers (Ifip Advances in Information and Communicatio  Hardcover,  言語:ENG

Lehmann, Anja (EDT)/ Whitehouse, Diane (EDT)/ Fischer-Hübner, Simone (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 352pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Video Analytics. Face and Facial Expression Recognition and Audience Measurement : Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers (Image Processing, Com
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Video Analytics. Face and Facial Expression Recognition and Audience Measurement : Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers (Image Processing, Com  Paperback,  言語:ENG

Nasrollahi, Kamal (EDT)/ Distante, Cosimo (EDT)/ Hua, Gang (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
Conflict Resolution in Decision Making : Second International Workshop, COREDEMA 2016, the Hague, the Netherlands, August 29-30, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Conflict Resolution in Decision Making : Second International Workshop, COREDEMA 2016, the Hague, the Netherlands, August 29-30, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Aydoğan, Reyhan (EDT)/ Baarslag, Tim (EDT)/ Gerding, Enrico (EDT)

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

Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

de Moura, Leonardo (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 352pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,845(本体¥10,769)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 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)版です。キャンセルは承れません。
Patch-Based Techniques in Medical Imaging : Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graph
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Patch-Based Techniques in Medical Imaging : Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graph  Paperback,  言語:ENG

Wu, Guorong (EDT)/ Munsell, Brent C. (EDT)/ Zhan, Yiqiang (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 214pt
  • 海外取次在庫
Spatial Cognition X : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers (Lecture Notes in Compute
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Spatial Cognition X : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers (Lecture Notes in Compute  Paperback,  言語:ENG

Barkowsky, Thomas (EDT)/ Burte, Heather (EDT)/ Hölscher, Christoph (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • 海外取次在庫
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments : First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments : First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Traore, Issa (EDT)/ Woungang, Isaac (EDT)/ Awad, Ahmed (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms and Computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Algorithms and Computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Elbassioni, Khaled (EDT)/ Makino, Kazuhisa (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/11発売)
  • ポイント 390pt
  • 海外取次在庫
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Zeume, Thomas

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/02発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Technology for Management: Business and Social Issues : 16th Conference, ISM 2021, and FedCSIS-AIST 2021 Track, Held as Part of FedCSIS 2021, Virtual Event, September 2-5, 2021, Extended and Revised Selected Papers (Lecture Notes in Busin
  • 洋書
  • ポイントキャンペーン

Information Technology for Management: Business and Social Issues : 16th Conference, ISM 2021, and FedCSIS-AIST 2021 Track, Held as Part of FedCSIS 2021, Virtual Event, September 2-5, 2021, Extended and Revised Selected Papers (Lecture Notes in Busin  Paperback,  言語:ENG

Ziemba, Ewa (EDT)/ Chmielarz, Witold (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 194pt
  • 海外取次在庫
OpenMP in a Modern World: From Multi-device Support to Meta Programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

OpenMP in a Modern World: From Multi-device Support to Meta Programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Klemm, Michael (EDT)/ de Supinski, Bronis R. (EDT)/ Klinkenberg, Jannis (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 194pt
  • 海外取次在庫
Online Film Production in China Using Blockchain and Smart Contracts : The Development of Collaborative Platforms for Emerging Creative Talents (International Series on Computer, Entertainment and Media Technology) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Online Film Production in China Using Blockchain and Smart Contracts : The Development of Collaborative Platforms for Emerging Creative Talents (International Series on Computer, Entertainment and Media Technology) (2019)  Hardcover,  言語:ENG

Poujol, Patrice

  • ウェブストア価格 ¥38,773(本体¥35,249)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 704pt
  • 海外取次在庫