Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)  Paperback

Finkbeiner, Bernd (EDT)/ Pu, Geguang (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Similarity Search and Applications : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Similarity Search and Applications : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Amato, Giuseppe (EDT)/ Connor, Richard (EDT)/ Falchi, Fabrizio (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 104pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Leucker, Martin (EDT)/ Rueda, Camilo (EDT)/ Valencia, Frank D. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • 海外取次在庫
Structural Information and Communication Complexity : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Structural Information and Communication Complexity : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings (Theoretical Computer Science and General Issues)  Paperback

Scheideler, Christian (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
VLSI-SoC: Internet of Things Foundations : 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers (Ifip Advances in Information and Communic
  • 洋書
  • 電子版あり

VLSI-SoC: Internet of Things Foundations : 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers (Ifip Advances in Information and Communic  Hardcover

Claesen, Luc (EDT)/ Sanz-Pascual, Maria-Teresa (EDT)/ Reis, Ricardo (EDT)

  • Springer International Publishing AG(2015/11発売)
  • ご注文いただけません
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Butler, Michael (EDT)/ Conchon, Sylvain (EDT)/ Zaïdi, Fatiha (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Semantic Web Evaluation Challenges : Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Semantic Web Evaluation Challenges : Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Gandon, Fabien (EDT)/ Cabrio, Elena (EDT)/ Stankovic, Milan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書

Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)  Paperback

Bodei, Chiara (EDT)/ Ferrari, Gianluigi (EDT)/ Priami, Corrado (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Holzinger, Andreas (EDT)/ Cardoso, Jorge (EDT)/ Cordeiro, José (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 104pt
  • 海外取次在庫
Decision and Game Theory for Security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Decision and Game Theory for Security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Khouzani, Arman (MHR) (EDT)/ Panaousis, Emmanouil (EDT)/ Theodorakopoulos, George (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Network and System Security : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Network and System Security : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Qiu, Meikang (EDT)/ Xu, Shouhuai (EDT)/ Yung, Moti (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Fred, Ana (EDT)/ Dietz, Jan L. G. (EDT)/ Aveiro, David (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Management Technologies and Applications : Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers (Communications in Computer and Information Science)
  • 洋書

Data Management Technologies and Applications : Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers (Communications in Computer and Information Science)  Paperback

Helfert, Markus (EDT)/ Holzinger, Andreas (EDT)/ Belo, Orlando (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

El-Fakih, Khaled (EDT)/ Barlas, Gerassimos (EDT)/ Yevtushenko, Nina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Provable Security : 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Provable Security : 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Au, Man-Ho (EDT)/ Miyaji, Atsuko (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Future Data and Security Engineering : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Future Data and Security Engineering : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Dang, Tran Khanh (EDT)/ Wagner, Roland (EDT)/ Küng, Josef (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Critical Infrastructure Protection IX : 9th IFIP 11.10 International Conference, ICCIP 2015, Arlington, VA, USA, March 16-18, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Critical Infrastructure Protection IX : 9th IFIP 11.10 International Conference, ICCIP 2015, Arlington, VA, USA, March 16-18, 2015, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Rice, Mason (EDT)/ Shenoi, Sujeet (EDT)

  • Springer International Publishing AG(2015/11発売)
  • ご注文いただけません
Combinatorial Optimization and Applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Combinatorial Optimization and Applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lu, Zaixin (EDT)/ Kim, Donghyun (EDT)/ Wu, Weili (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings (Programming and Software Engineering)
  • 洋書

Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Abrahamsson, Pekka (EDT)/ Corral, Luis (EDT)/ Oivo, Markku (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
High Performance Computing : Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

High Performance Computing : Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Osthoff, Carla (EDT)/ Navaux, Philippe Olivier Alexandre (EDT)/ Barrios Hernandez, Carlos Jaime (EDT)

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