Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Kucera, Antonin (EDT)/ Henzinger, Thomas A. (EDT)/ Nešetřil, Jaroslav (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 111pt
  • 海外取次在庫
Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Gupta, Ashutosh (EDT)/ Henzinger, Thomas A. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 111pt
  • 海外取次在庫
Handbook of Model Checking, m. 2 Buch (Softcover reprint of the original 1st ed. 2018)
  • 洋書

Handbook of Model Checking, m. 2 Buch (Softcover reprint of the original 1st ed. 2018)  Paperback

Clarke, Edmund M.EDT/ Henzinger, Thomas A.EDT/ Veith, HelmutEDT

  • ウェブストア価格 ¥39,411(本体¥35,829)
  • Springer, Berlin; Springer(2020発売)
  • ポイント 358pt
  • 海外からお取り寄せ(通常6~9週間)
Handbook of Model Checking (1st ed. 2018)
  • 洋書

Handbook of Model Checking (1st ed. 2018)  Hardcover

Clarke, Edmund M.EDT/ Henzinger, Thomas A.EDT/ Veith, HelmutEDT

  • ウェブストア価格 ¥39,411(本体¥35,829)
  • Springer, Berlin; Springer(2018発売)
  • ポイント 358pt
  • 海外からお取り寄せ(通常6~9週間)