Compiler Construction (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6601) (2011. XII, 307 S. 235 mm)
  • 洋書

Compiler Construction (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6601) (2011. XII, 307 S. 235 mm)  Paperback

Herausgegeben von Knoop, Jens

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 115pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Knoop, Jens (EDT)/ Karl, Wolfgang (EDT)/ Schulz, Martin (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。