お取り寄せ依頼フォーム

お取り寄せ依頼フォームの書籍内容は保存ができませんので、ログインまたはゲストとしてご依頼手続きをお願いします。

お取り寄せ依頼書籍

  • 書籍
Streicher, T., Semantics of Type Theory : Correctness, Completeness and Independence Results. Softcover reprint of the original 1st ed. 1991. (Progress in Theoretical Computer Science) 299 pp. (Springer-Verlag New York Inc., US) <M25-18204>

・ISBN 978-1-4612-6757-7 paper

¥21,034.-(税込)

数量:

  • 書籍
Hernandez-Lerma, Onesimo, Adaptive Markov Control Processes. Softcover reprint of the original 1st ed. 1989. (Applied Mathematical Sciences) 148 pp. (Springer-Verlag New York Inc., US) <M25-18210>

・ISBN 978-1-4612-6454-5 paper

¥12,371.-(税込)

数量: