Theory of Cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory of Cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Boyle, Elette (EDT)/ Mahmoody, Mohammad (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 312pt
  • 海外取次在庫
Theory of Cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory of Cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Boyle, Elette (EDT)/ Mahmoody, Mohammad (EDT)

  • ウェブストア価格 ¥30,156(本体¥27,415)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 548pt
  • 海外取次在庫
Theory of Cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory of Cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Boyle, Elette (EDT)/ Mahmoody, Mohammad (EDT)

  • ウェブストア価格 ¥21,750(本体¥19,773)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 394pt
  • 海外からお取り寄せ(通常6~9週間)
NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Dutle, Aaron (EDT)/ Humphrey, Laura (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥29,907(本体¥27,189)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 542pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)  Paperback

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2015/04発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Enterprise, Business-Process and Information Systems Modeling : 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings (Lecture Notes in Business Infor (2015)
  • 洋書
  • ポイントキャンペーン

Enterprise, Business-Process and Information Systems Modeling : 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings (Lecture Notes in Business Infor (2015)  Paperback

Gaaloul, Khaled (EDT)/ Schmidt, Rainer (EDT)/ Nurcan, Selmin (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
Social Media : Der Einfluss auf Unternehmen (Xpert.press)
  • 洋書
  • ポイントキャンペーン

Social Media : Der Einfluss auf Unternehmen (Xpert.press)  Hardcover,  言語:GER

Leinemann, Ralf (EDT)

  • ウェブストア価格 ¥13,999(本体¥12,727)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 254pt
  • 海外取次在庫
Computer Vision -- ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Computer Vision -- ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Lee, Kyoung Mu (EDT)/ Matsushita, Yasuyuki (EDT)/ Rehg, James M. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 214pt
  • 海外取次在庫
Computer Vision -- ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書
  • ポイントキャンペーン

Computer Vision -- ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Lee, Kyoung Mu (EDT)/ Matsushita, Yasuyuki (EDT)/ Rehg, James M. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 214pt
  • 海外取次在庫
Computer Vision -- ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書
  • ポイントキャンペーン

Computer Vision -- ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Lee, Kyoung Mu (EDT)/ Matsushita, Yasuyuki (EDT)/ Rehg, James M. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 214pt
  • 海外取次在庫
Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Leite, João (EDT)/ Son, Tran Cao (EDT)/ Torroni, Paolo (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 214pt
  • 海外取次在庫
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Legay, Axel (EDT)/ Bensalem, Saddek (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 214pt
  • 海外取次在庫
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14-16, 2021, Revised Selected Papers (Lecture Notes in Computer Sci
  • 洋書
  • ポイントキャンペーン

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14-16, 2021, Revised Selected Papers (Lecture Notes in Computer Sci  Paperback

Poole, Stephen (EDT)/ Hernandez, Oscar (EDT)/ Baker, Matthew (EDT)

  • ウェブストア価格 ¥13,592(本体¥12,357)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 246pt
  • 海外からお取り寄せ(通常6~9週間)
NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dutle, Aaron (EDT)/ Moscato, Mariano M. (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 390pt
  • 海外取次在庫
NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)  Paperback

Dutle, Aaron (EDT)/ Muñoz, César (EDT)/ Narkawicz, Anthony (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 214pt
  • 海外取次在庫
Software Quality: Future Perspectives on Software Engineering Quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書
  • ポイントキャンペーン

Software Quality: Future Perspectives on Software Engineering Quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Mendez, Daniel (EDT)

  • ウェブストア価格 ¥15,076(本体¥13,706)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 274pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Visual Computing : 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

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

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

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Spatial Data Handling and Analysis : Select Papers from the 16th IGU Spatial Data Handling Symposium (Advances in Geographic Information Science)
  • 洋書
  • ポイントキャンペーン

Advances in Spatial Data Handling and Analysis : Select Papers from the 16th IGU Spatial Data Handling Symposium (Advances in Geographic Information Science)  Paperback

Harvey, Francis (EDT)/ Leung, Yee (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
International Communities of Invention and Innovation : IFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書
  • ポイントキャンペーン

International Communities of Invention and Innovation : IFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover

Tatnall, Arthur (EDT)/ Leslie, Christopher (EDT)

  • Springer International Publishing AG(2016/11発売)
  • ご注文いただけません
Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)
  • 洋書
  • ポイントキャンペーン

Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)  Paperback

Beklemishev, Lev D. (EDT)/ Musatov, Daniil V. (EDT)

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