1～3件／全3件 セーフサーチON
  •  
Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）
  • 洋書

Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥35,341（本体¥32,129）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2020発売）
  • ポイント 321pt
  • 海外からお取り寄せ（通常6～9週間）
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)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ポイント 101pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/01発売）
  • ポイント 101pt
  • 海外取次在庫
1～3件／全3件
  •