Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bogomolov, Sergiy (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 110pt
  • 海外取次在庫
Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)
  • 洋書
  • 電子版あり

Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Markidis, Stefano (EDT)/ Laure, Erwin (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 82pt
  • 海外取次在庫
Databases in Networked Information Systems : 10th International Workshop, DNIS 2015, Aizu, Japan, March 23-25, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2015)
  • 洋書

Databases in Networked Information Systems : 10th International Workshop, DNIS 2015, Aizu, Japan, March 23-25, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2015)  Paperback,  言語:ENG

Chu, Wanming (EDT)/ Kikuchi, Shinji (EDT)/ Bhalla, Subhash (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Genetic Programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Genetic Programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Machado, Penousal (EDT)/ Heywood, Malcolm I. (EDT)/ McDermott, James (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multiple Classifier Systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2015)
  • 洋書
  • 電子版あり

Multiple Classifier Systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2015)  Paperback,  言語:ENG

Schwenker, Friedhelm (EDT)/ Roli, Fabio (EDT)/ Kittler, Josef (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 101pt
  • 海外取次在庫
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,121(本体¥8,292)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 82pt
  • 海外取次在庫
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Lecture Notes in C
  • 洋書

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Lecture Notes in C  Paperback,  言語:ENG

Camara, Oscar (EDT)/ Mansi, Tommaso (EDT)/ Pop, Mihaela (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 101pt
  • 海外取次在庫
Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Karydis, Ioannis (EDT)/ Sioutas, Spyros (EDT)/ Triantafillou, Peter (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 82pt
  • オンデマンド(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,148(本体¥10,135)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 101pt
  • 海外取次在庫
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 Aict Tutorials)
  • 洋書
  • 電子版あり

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 Aict Tutorials)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥18,244(本体¥16,586)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 165pt
  • オンデマンド(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,148(本体¥10,135)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 101pt
  • オンデマンド(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,148(本体¥10,135)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cyber Security Cryptography and Machine Learning : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings (Security and Cryptology)
  • 洋書
  • 電子版あり

Cyber Security Cryptography and Machine Learning : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Dolev, Shlomi (EDT)/ Lodha, Sachin (EDT)

  • ウェブストア価格 ¥14,190(本体¥12,900)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 129pt
  • 海外取次在庫
Trends in Artificial Intelligence: PRICAI 2016 Workshops : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Trends in Artificial Intelligence: PRICAI 2016 Workshops : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Numao, Masayuki (EDT)/ Theeramunkong, Thanaruk (EDT)/ Supnithi, Thepchai (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 101pt
  • 海外取次在庫
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 101pt
  • オンデマンド(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,148(本体¥10,135)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 101pt
  • 海外取次在庫
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,148(本体¥10,135)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 101pt
  • 海外取次在庫
Quickstart Python : An Introduction to Programming for STEM Students (Springer essentials)
  • 洋書

Quickstart Python : An Introduction to Programming for STEM Students (Springer essentials)  Paperback,  言語:ENG

Schäfer, Christoph

  • Springer(2021/10発売)
  • ご注文いただけません
Operations Research and Simulation in Healthcare (2021)
  • 洋書

Operations Research and Simulation in Healthcare (2021)  Hardcover,  言語:ENG

Masmoudi, Malek (EDT)/ Jarboui, Bassem (EDT)/ Siarry, Patrick (EDT)

  • ウェブストア価格 ¥32,437(本体¥29,489)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 294pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI Outdoors: Theory, Design, Methods and Applications (Human-computer Interaction Series) (2020)
  • 洋書

HCI Outdoors: Theory, Design, Methods and Applications (Human-computer Interaction Series) (2020)  Hardcover,  言語:ENG

McCrickard, D. Scott (EDT)/ Jones, Michael (EDT)/ Stelter, Timothy L. (EDT)

  • ウェブストア価格 ¥36,492(本体¥33,175)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 331pt
  • 海外取次在庫