Programming Logics : Essays in Memory of Harald Ganzinger (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Programming Logics : Essays in Memory of Harald Ganzinger (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Voronkov, Andrei (EDT)/ Weidenbach, Christoph (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 545pt
  • 海外取次在庫
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 (Lecture Notes in Computer Science) 〈Vol. 5117〉
  • 洋書
  • ポイントキャンペーン

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 (Lecture Notes in Computer Science) 〈Vol. 5117〉  Paperback,  言語:ENG

Voronkov, A. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2008/08発売)
  • ポイント 545pt
  • 海外取次在庫
Disfunktsiya endoteliya v dinamike terapii ingibitorami APF : prognozirovanie svoystv, medikamentoznaya korrektsiya (2014. 184 S. 220 mm)
  • 洋書
  • ポイントキャンペーン

Disfunktsiya endoteliya v dinamike terapii ingibitorami APF : prognozirovanie svoystv, medikamentoznaya korrektsiya (2014. 184 S. 220 mm)  Paperback

Voronkov, B. N./ Bala, M. Yu./ Bala, Yu. M.

  • ウェブストア価格 ¥11,083(本体¥10,076)
  • LAP LAMBERT ACADEMIC PUBLISHING(2014発売)
  • ポイント 500pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, 2008, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5330〉
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, 2008, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5330〉  Paperback,  言語:ENG

Cervesato, I. (EDT)/ Veith, H. (EDT)/ Voronkov, A. (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer(2008/12発売)
  • ポイント 1,090pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Armenia, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4790〉
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Armenia, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4790〉  Paperback,  言語:ENG

Dershowitz, N. (EDT)/ Voronkov, A. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2007/11発売)
  • ポイント 545pt
  • 海外取次在庫
Reactions of Sulfur with Organic Compounds
  • 洋書
  • ポイントキャンペーン

Reactions of Sulfur with Organic Compounds  Paperback,  言語:ENG

Deryagina, E.N./ Nakhmanovich, A.S./ Usov, V.A.

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag New York Inc.(2012/02発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Modern technologies to increase the durability of piston rings (2020. 124 S. 220 mm)
  • 洋書
  • ポイントキャンペーン

Modern technologies to increase the durability of piston rings (2020. 124 S. 220 mm)  Paperback

Hlushkova, D.B./ Voronkov, A.I./ Bagrov, V.A.

  • ウェブストア価格 ¥14,523(本体¥13,203)
  • LAP LAMBERT ACADEMIC PUBLISHING(2020発売)
  • ポイント 660pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Petrenko, Alexander K. (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)  Paperback

Herausgegeben von Fermueller, Christian G./ Voronkov, Andrei

  • ウェブストア価格 ¥28,304(本体¥25,731)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 1,285pt
  • 海外取次在庫
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Pr
  • 洋書
  • ポイントキャンペーン

Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Pr  Paperback,  言語:ENG

Lpar 2003 Alma-Ata (Kazakhstan))/ Vardi, Moshe Y./ Voronkov, Andrei/ V

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Verlag(2003/09発売)
  • ポイント 545pt
  • 海外取次在庫