Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)  Paperback

Ribeiro, Leila (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Service Orientation in Holonic and Multi-Agent Manufacturing : Proceedings of SOHOMA 2016 (Studies in Computational Intelligence)
  • 洋書
  • 電子版あり

Service Orientation in Holonic and Multi-Agent Manufacturing : Proceedings of SOHOMA 2016 (Studies in Computational Intelligence)  Hardcover

Borangiu, Theodor (EDT)/ Trentesaux, Damien (EDT)/ Thomas, André (EDT)

  • ウェブストア価格 ¥35,183(本体¥31,985)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 319pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥35,183(本体¥31,985)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 319pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 103pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 206pt
  • オンデマンド(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)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 206pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • オンデマンド(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)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2017/05発売)
  • ポイント 206pt
  • 海外からお取り寄せ(通常6~9週間)
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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Context-Aware Systems and Applications : 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書
  • 電子版あり

Context-Aware Systems and Applications : 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback,  言語:ENG

Cong Vinh, Phan (EDT)/ Tuan Anh, Le (EDT)/ Loan, Nguyen Thi Thuy (EDT)

  • Springer International Publishing AG(2017/04発売)
  • ご注文いただけません
Evaluation of Novel Approaches to Software Engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Evaluation of Novel Approaches to Software Engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Maciaszek, Leszek A. (EDT)/ Filipe, Joaquim (EDT)

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