Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised  Paperback,  言語:ENG

Lamprecht, Anna-Lena (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Electronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Barrat, Jordi (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 218pt
  • 海外取次在庫
Domain Decomposition Methods in Science and Engineering XXIII (Lecture Notes in Computational Science and Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Domain Decomposition Methods in Science and Engineering XXIII (Lecture Notes in Computational Science and Engineering)  Hardcover,  言語:ENG

Lee, Chang-Ock (EDT)/ Cai, Xiao-Chuan (EDT)/ Keyes, David E. (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 678pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Leporati, Alberto (EDT)/ Rozenberg, Grzegorz (EDT)/ Salomaa, Arto (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bayesian Statistics in Action : BAYSM 2016, Florence, Italy, June 19-21 (Springer Proceedings in Mathematics & Statistics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Bayesian Statistics in Action : BAYSM 2016, Florence, Italy, June 19-21 (Springer Proceedings in Mathematics & Statistics)  Hardcover,  言語:ENG

Argiento, Raffaele (EDT)/ Lanzarone, Ettore (EDT)/ Antoniano Villalobos, Isadora (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 678pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lai, Shang-Hong (EDT)/ Lepetit, Vincent (EDT)/ Nishino, Ko (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Lai, Shang-Hong (EDT)/ Lepetit, Vincent (EDT)/ Nishino, Ko (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Lai, Shang-Hong (EDT)/ Lepetit, Vincent (EDT)/ Nishino, Ko (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part IV (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part IV (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Lai, Shang-Hong (EDT)/ Lepetit, Vincent (EDT)/ Nishino, Ko (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lai, Shang-Hong (EDT)/ Lepetit, Vincent (EDT)/ Nishino, Ko (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • 海外取次在庫
Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Tojo, Satoshi (EDT)/ Nguyen, Le Minh (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Tojo, Satoshi (EDT)/ Nguyen, Le Minh (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Smart Card Research and Advanced Applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Smart Card Research and Advanced Applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lemke-Rust, Kerstin (EDT)/ Tunstall, Michael (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • 海外取次在庫
Stakeholders and Information Technology in Education : IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Stakeholders and Information Technology in Education : IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Brinda, Torsten (EDT)/ Mavengere, Nicholas (EDT)/ Haukijärvi, Ilkka (EDT)

  • Springer International Publishing AG(2017/03発売)
  • ご注文いただけません
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Cuppens, Frédéric (EDT)/ Cuppens, Nora (EDT)/ Lanet, Jean-Louis (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI for Children with Disabilities (Human-computer Interaction Series)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

HCI for Children with Disabilities (Human-computer Interaction Series)  Hardcover,  言語:ENG

Guerrero-Garcia, Josefina (EDT)/ González-Calleros, Juan Manuel (EDT)/ Muñoz-Arteaga, Jaime (EDT)

  • Springer International Publishing AG(2017/05発売)
  • ご注文いただけません
Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Candan, Selçuk (EDT)/ Chen, Lei (EDT)/ Pedersen, Torben Bach (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Candan, Selçuk (EDT)/ Chen, Lei (EDT)/ Pedersen, Torben Bach (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence for Knowledge Management : Third IFIP WG 12.6 International Workshop, AI4KM 2015, Held at IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technolog
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence for Knowledge Management : Third IFIP WG 12.6 International Workshop, AI4KM 2015, Held at IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technolog  Hardcover,  言語:ENG

Mercier-Laurent, Eunika (EDT)/ Boulanger, Danielle (EDT)

  • Springer International Publishing AG(2017/03発売)
  • ご注文いただけません