FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Jones, Cliff (EDT)/ Pihlajasaari, Pekka (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 206pt
  • 海外取次在庫
Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6916) (2011. XII, 264 S. 235 mm)
  • 洋書

Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6916) (2011. XII, 264 S. 235 mm)  Paperback

Herausgegeben von Cerone, Antonio/ Pihlajasaari, Pekka

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫