Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008 : Ifip 20th World Computer Congress, Tc 1, Foundations of Computer Scie
  • 洋書

Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008 : Ifip 20th World Computer Congress, Tc 1, Foundations of Computer Scie  Paperback,  言語:ENG

Ausiello, Giorgio/ Karhumaki, Juhani/ Mauri, Giancarlo/ Ong, Luke

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer(2010/02発売)
  • ポイント 324pt
  • 海外取次在庫
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Duan, Zhenhua (EDT)/ Ong, Luke (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456) (2nd ed. 2012. XII, 337 p. 235 mm)
  • 洋書