CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6901) (2011. XV, 530 S.)
  • 洋書

CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6901) (2011. XV, 530 S.)  Paperback,  言語:ENG

Herausgegeben von Katoen, Joost-Pieter/ Koenig, Barbara

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 115pt
  • 海外取次在庫
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Katoen, Joost-Pieter (EDT)/ Langerak, Rom (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Chechik, Marsha (EDT)/ Katoen, Joost-Pieter (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥22,455(本体¥20,414)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 204pt
  • 海外取次在庫
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Guan, Nan (EDT)/ Katoen, Joost-Pieter (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)
  • 洋書

Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)  Paperback

Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 115pt
  • 海外取次在庫