NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)  Paperback

Dutle, Aaron (EDT)/ Muñoz, César (EDT)/ Narkawicz, Anthony (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 218pt
  • 海外取次在庫
Applications for Future Internet : International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書
  • ポイントキャンペーン

Applications for Future Internet : International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback,  言語:ENG

Sucar, Enrique (EDT)/ Mayora, Oscar (EDT)/ Munoz de Cote, Enrique (EDT)

  • Springer International Publishing AG(2016/12発売)
  • ご注文いただけません
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)

  • Springer International Publishing AG(2017/05発売)
  • ご注文いただけません
Cloud Computing and Services Science : 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Computing and Services Science : 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Helfert, Markus (EDT)/ Ferguson, Donald (EDT)/ Mendez Munoz, Victor (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)  Paperback

Ayala-Rincon, Mauricio (EDT)/ Munoz, Cesar A. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cloud Computing and Services Science : 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Cloud Computing and Services Science : 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Helfert, Markus (EDT)/ Méndez Muñoz, Víctor (EDT)/ Ferguson, Donald (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 218pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trends and Applications in Software Engineering : Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 (Advances in Intelligent Systems and Computing)
  • 洋書
  • ポイントキャンペーン

Trends and Applications in Software Engineering : Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 (Advances in Intelligent Systems and Computing)  Paperback

Mejia, Jezreel (EDT)/ Muñoz, Mirna (EDT)/ Rocha, Alvaro (EDT)

  • Springer International Publishing AG(2015/11発売)
  • ご注文いただけません
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Hernández-Quiroz, Francisco (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Open Learning and Teaching in Educational Communities : 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)
  • 洋書
  • ポイントキャンペーン

Open Learning and Teaching in Educational Communities : 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)  Paperback,  言語:ENG

Rensing, Christoph (EDT)/ de Freitas, Sara (EDT)/ Ley, Tobias (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 218pt
  • 海外取次在庫
Combinatorial Pattern Matching, CPM 2004 : 15th Annual Symposium, Istanbul, Turkey, July 5-7, 2004. Proceedings (Lecture Notes in Computer Science Vol.3109) (2004. XI, 486 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Combinatorial Pattern Matching, CPM 2004 : 15th Annual Symposium, Istanbul, Turkey, July 5-7, 2004. Proceedings (Lecture Notes in Computer Science Vol.3109) (2004. XI, 486 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Suleyman C. Sahinalp, S. Muthukrishnan and Ugur Dogrusoz

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫