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,620(本体¥11,473)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 114pt
  • 海外取次在庫
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,148(本体¥10,135)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。