Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 234pt
  • 海外取次在庫
Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Smith, Ian F. C. (EDT)/ Domer, Bernd (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures : 48th International Simulation and Gaming Association Conference, ISAGA 2017, Delft, the Netherlands, July 10-14, 2017, Revised Selected Papers (Information Systems and (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures : 48th International Simulation and Gaming Association Conference, ISAGA 2017, Delft, the Netherlands, July 10-14, 2017, Revised Selected Papers (Information Systems and (2018)  Paperback,  言語:ENG

Lukosch, Heide Karen (EDT)/ Bekebrede, Geertje (EDT)/ Kortmann, Rens (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Rabe, Florian (EDT)/ Farmer, William M. (EDT)/ Passmore, Grant O. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Pan, Zhaoqing (EDT)/ Bertino, Elisa (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Pan, Zhaoqing (EDT)/ Bertino, Elisa (EDT)

  • Springer Nature Switzerland AG(2018/09発売)
  • ご注文いただけません
Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part III (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part III (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Pan, Zhaoqing (EDT)/ Bertino, Elisa (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Pan, Zhaoqing (EDT)/ Bertino, Elisa (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Computing and Security : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Pan, Zhaoqing (EDT)/ Bertino, Elisa (EDT)

  • Springer Nature Switzerland AG(2018/09発売)
  • ご注文いただけません
Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Atig, Mohamed Faouzi (EDT)/ Bensalem, Saddek (EDT)/ Bliudze, Simon (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/08発売)
  • ポイント 214pt
  • 海外取次在庫
Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Cox, Michael T. (EDT)/ Funk, Peter (EDT)/ Begum, Shahina (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Intelligent Data Analysis XVII : 17th International Symposium, IDA 2018, 's-Hertogenbosch, the Netherlands, October 24-26, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Intelligent Data Analysis XVII : 17th International Symposium, IDA 2018, 's-Hertogenbosch, the Netherlands, October 24-26, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Duivesteijn, Wouter (EDT)/ Siebes, Arno (EDT)/ Ukkonen, Antti (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 214pt
  • 海外取次在庫
Advances in Visual Computing : 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Visual Computing : 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory of Cryptography : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory of Cryptography : 16th International Conference, TCC 2018, Panaji, India, November 11-14, 2018, Proceedings, Part I (Security and Cryptology)  Paperback,  言語:ENG

Beimel, Amos (EDT)/ Dziembowski, Stefan (EDT)

  • Springer Nature Switzerland AG(2018/11発売)
  • ご注文いただけません
Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2018 Workshops, BDASC, BDM, ML4Cyber, PAISI, DaMEMO, Melbourne, VIC, Australia, June 3, 2018, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2018 Workshops, BDASC, BDM, ML4Cyber, PAISI, DaMEMO, Melbourne, VIC, Australia, June 3, 2018, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Ganji, Mohadeseh (EDT)/ Rashidi, Lida (EDT)/ Fung, Benjamin C. M. (EDT)

  • Springer Nature Switzerland AG(2018/12発売)
  • ご注文いただけません
Computational Methods and Clinical Applications in Musculoskeletal Imaging : 5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers (Image Processing, Computer (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computational Methods and Clinical Applications in Musculoskeletal Imaging : 5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers (Image Processing, Computer (2018)  Paperback,  言語:ENG

Glocker, Ben (EDT)/ Yao, Jianhua (EDT)/ Vrtovec, Tomaž (EDT)

  • ウェブストア価格 ¥12,925(本体¥11,750)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 234pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Passive and Active Measurement : 19th International Conference, PAM 2018, Berlin, Germany, March 26-27, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Passive and Active Measurement : 19th International Conference, PAM 2018, Berlin, Germany, March 26-27, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Beverly, Robert (EDT)/ Smaragdakis, Georgios (EDT)/ Feldmann, Anja (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Architecture of Computing Systems - ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Architecture of Computing Systems - ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Berekovic, Mladen (EDT)/ Buchty, Rainer (EDT)/ Hamann, Heiko (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Research in Computational Molecular Biology : 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Research in Computational Molecular Biology : 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Raphael, Benjamin J. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 214pt
  • 海外取次在庫