Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Chaudhuri, Swarat (EDT)/ Farzan, Azadeh (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Chaudhuri, Swarat (EDT)/ Farzan, Azadeh (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Data Mining. Applications and Theoretical Aspects : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advances in Data Mining. Applications and Theoretical Aspects : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback

Perner, Petra (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (Theoretical Computer Science and General Issu
  • 洋書

Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (Theoretical Computer Science and General Issu  Paperback

Mazzara, Manuel (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

De Nicola, Rocco (EDT)/ Kühn, Eva (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Retrieval : 9th Russian Summer School, RuSSIR 2015, Saint Petersburg, Russia, August 24-28, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Information Retrieval : 9th Russian Summer School, RuSSIR 2015, Saint Petersburg, Russia, August 24-28, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Braslavski, Pavel (EDT)/ Markov, Ilya (EDT)/ Pardalos, Panos (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Privacy and Identity Management. Time for a Revolution? : 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Te
  • 洋書

Privacy and Identity Management. Time for a Revolution? : 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Te  Hardcover

Aspinall, David (EDT)/ Camenisch, Jan (EDT)/ Hansen, Marit (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • 海外取次在庫
Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings (Programming and Software Engineering)
  • 洋書

Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings (Programming and Software Engineering)  Paperback

Wąsowski, Andrzej (EDT)/ Lönn, Henrik (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Practice of Model Transformations : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Programming and Software Engineering)
  • 洋書

Theory and Practice of Model Transformations : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Programming and Software Engineering)  Paperback

Van Gorp, Pieter (EDT)/ Engels, Gregor (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Greuel, Gert-Martin (EDT)/ Koch, Thorsten (EDT)/ Paule, Peter (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Dinh, Thang N. (EDT)/ Thai, My T. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Wireless Algorithms, Systems, and Applications : 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Wireless Algorithms, Systems, and Applications : 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Yang, Qing (EDT)/ Yu, Wei (EDT)/ Challal, Yacine (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Blanchette, Jasmin Christian (EDT)/ Merz, Stephan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Constructive Side-Channel Analysis and Secure Design : 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers (Security and Cryptology)
  • 洋書

Constructive Side-Channel Analysis and Secure Design : 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers (Security and Cryptology)  Paperback

Standaert, François-Xavier (EDT)/ Oswald, Elisabeth (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Agha, Gul (EDT)/ Van Houdt, Benny (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • 海外取次在庫
e-Infrastructure and e-Services : 7th International Conference, AFRICOMM 2015, Cotonou, Benin, December 15-16, 2015, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書

e-Infrastructure and e-Services : 7th International Conference, AFRICOMM 2015, Cotonou, Benin, December 15-16, 2015, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback,  言語:ENG

Glitho, Roch (EDT)/ Zennaro, Marco (EDT)/ Belqasmi, Fatna (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 104pt
  • 海外取次在庫
Information Search, Integration, and Personalization : 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Information Search, Integration, and Personalization : 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Grant, Emanuel (EDT)/ Kotzinos, Dimitris (EDT)/ Laurent, Dominique (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Analytical and Stochastic Modelling Techniques and Applications : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Analytical and Stochastic Modelling Techniques and Applications : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wittevrongel, Sabine (EDT)/ Phung-Duc, Tuan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Big Data Analytics and Knowledge Discovery : 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Big Data Analytics and Knowledge Discovery : 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Madria, Sanjay (EDT)/ Hara, Takahiro (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Information Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Renda, M. Elena (EDT)/ Bursa, Miroslav (EDT)/ Holzinger, Andreas (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • 海外取次在庫