1～2件／全2件 セーフサーチON
  •  
Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Sampaio, Augusto (EDT)/ Wang, Farn (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 104pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science Vol.3299) （2004. XII, 506 p. 23,5 cm）
  • 洋書

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science Vol.3299) （2004. XII, 506 p. 23,5 cm）  Hardcover,  言語：ENG

Ed. by Farn Wang

  • ウェブストア価格 ¥26,774（本体¥24,340）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 243pt
  • 海外取次在庫
1～2件／全2件
  •