Validation of Evolving Software
  • 洋書

Validation of Evolving Software  Paperback

Chockler, Hana (EDT)/ Kroening, Daniel (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 101pt
  • 海外取次在庫
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,148(本体¥10,135)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Sustained Simulation Performance 2016 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016
  • 洋書

Sustained Simulation Performance 2016 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016  Hardcover

Resch, Michael M. (EDT)/ Bez, Wolfgang (EDT)/ Focht, Erich (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 202pt
  • 海外取次在庫
Future Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Future Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Scale Space and Variational Methods in Computer Vision : 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Scale Space and Variational Methods in Computer Vision : 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Aujol, Jean-François (EDT)/ Nikolova, Mila (EDT)/ Papadakis, Nicolas (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 101pt
  • 海外取次在庫
Distributed Computing and Internet Technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Distributed Computing and Internet Technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bjorner, Nikolaj (EDT)/ Prasad, Sanjiva (EDT)/ Parida, Laxmi (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback

Bjørner, Nikolaj (EDT)/ de Boer, Frank (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Some Current Advanced Researches on Information and Computer Science in Vietnam : Post-proceedings of the First NAFOSTED Conference on Information and Computer Science (Advances in Intelligent Systems and Computing) (2015)
  • 洋書

Some Current Advanced Researches on Information and Computer Science in Vietnam : Post-proceedings of the First NAFOSTED Conference on Information and Computer Science (Advances in Intelligent Systems and Computing) (2015)  Paperback

Dang, Quang A. (EDT)/ Nguyen, Xuan Hoai (EDT)/ Le, Hoai Bac (EDT)

  • Springer International Publishing AG(2015/03発売)
  • ご注文いただけません
Cloud Computing and Services Sciences : International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Cloud Computing and Services Sciences : International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Helfert, Markus (EDT)/ Desprez, Frédéric (EDT)/ Ferguson, Donald (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Service-Oriented Computing : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Service-Oriented Computing : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Barros, Alistair (EDT)/ Grigori, Daniela (EDT)/ Narendra, Nanjangud C. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/11発売)
  • ポイント 101pt
  • 海外取次在庫
Pattern Recognition : 16th Mexican Conference, MCPR 2024, Xalapa, Mexico, June 19-22, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Pattern Recognition : 16th Mexican Conference, MCPR 2024, Xalapa, Mexico, June 19-22, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mezura-Montes, Efrén (EDT)/ Acosta-Mesa, Héctor Gabriel (EDT)/ Carrasco-Ochoa, Jesús Ariel (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 156pt
  • 海外取次在庫
Serious Games, Interaction and Simulation : 6th International Conference, SGAMES 2016, Porto, Portugal, June 16-17, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee
  • 洋書

Serious Games, Interaction and Simulation : 6th International Conference, SGAMES 2016, Porto, Portugal, June 16-17, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee  Paperback,  言語:ENG

Vaz de Carvalho, Carlos (EDT)/ Escudeiro, Paula (EDT)/ Coelho, António (EDT)

  • Springer International Publishing AG(2016/12発売)
  • ご注文いただけません
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Moral, Serafin (EDT)/ Pivert, Olivier (EDT)/ Sánchez, Daniel (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 101pt
  • 海外取次在庫
Broadband Communications, Networks, and Systems : 11th EAI International Conference, BROADNETS 2020, Qingdao, China, December 11-12, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications En
  • 洋書

Broadband Communications, Networks, and Systems : 11th EAI International Conference, BROADNETS 2020, Qingdao, China, December 11-12, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications En  Paperback,  言語:ENG

Gao, Honghao (EDT)/ J. Durán Barroso, Ramón (EDT)/ Shanchen, Pang (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway
  • 洋書
  • 電子版あり

ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway  Hardcover

Boulus-Rødje, Nina (EDT)/ Ellingsen, Gunnar (EDT)/ Bratteteig, Tone (EDT)

  • Springer International Publishing AG(2015/08発売)
  • ご注文いただけません
Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)  Paperback

Martí-Oliet, Narciso (EDT)/ Ölveczky, Peter Csaba (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 101pt
  • 海外取次在庫
Knowledge and Systems Engineering : Proceedings of the Sixth International Conference KSE 2014 (Advances in Intelligent Systems and Computing) (2015)
  • 洋書

Knowledge and Systems Engineering : Proceedings of the Sixth International Conference KSE 2014 (Advances in Intelligent Systems and Computing) (2015)  Paperback

Nguyen, Viet-Ha (EDT)/ Le, Anh-Cuong (EDT)/ Huynh, Van-Nam (EDT)

  • ウェブストア価格 ¥44,602(本体¥40,548)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 405pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Smart Technologies, Systems and Applications : Second International Conference, SmartTech-IC 2021, Quito, Ecuador, December 1-3, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Smart Technologies, Systems and Applications : Second International Conference, SmartTech-IC 2021, Quito, Ecuador, December 1-3, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Narváez, Fabián R. (EDT)/ Proaño, Julio (EDT)/ Morillo, Paulina (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 184pt
  • 海外取次在庫
Smart Technologies, Systems and Applications : 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Smart Technologies, Systems and Applications : 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Narváez, Fabián R. (EDT)/ Urgilés, Fernando (EDT)/ Bastos-Filho, Teodiano Freire (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 202pt
  • 海外取次在庫
Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Torra, Vicenc (EDT)/ Narukawa, Torra (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 101pt
  • 海外取次在庫