全国書店ネットワーク e-hon洋書販売

全国書店ネットワーク e-hon洋書販売

　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN

  • Schmidt, Renate A.,国内・海外在庫あり

    による検索結果
  • 1件〜6件（全6件）
書名
著者
出版社
ISBN
出版年月
年 月 〜
年 月
装丁
選択してください
  • 選択してください
  • PAP
  • HRD
  • CMD
  • CD
  • LIB
  • CAS
  • SAL
  • PBD
  • TBK
  • CDR
  • DVD
  • PLA
言語
選択してください
  • 選択してください
  • 英語
  • ドイツ語
  • フランス語
  • スペイン語
在庫状況
書籍表紙

Relations and Kleene Algebra in Computer Science

9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings

Theoretical Computer Science and General Issues

Schmidt, Renate A. (EDT)
出版社：Springer 出版年月：2006年 08月
装丁：PAP 言語：ENG
税込価格：

12,060円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Second-order Quantifier Elimination

Foundations, Computational Aspects and Applications

Studies in Logic: Mathematical Logic and Foundations

Gabbay, Dov Schmidt, Renate A. Szalas, Andrzej
出版社：College Publications 出版年月：2008年 04月
装丁：PAP 言語：ENG
税込価格：

9,420円

海外在庫あり 通常２～４週間で出荷
書籍表紙

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Lecture Notes in Computer Science .10501

Herausgegeben von Schmidt, Renate A. Nalon, Cl&aacute udia
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 版次：1st ed. 2017. 2017. xii
税込価格：

15,679円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Lecture Notes in Computer Science 14740

Herausgegeben:Benzmueller, Christoph Heule, Marijn Schmidt, Renate A.
出版社：Springer, Berlin; Springer Nature Switzerland; Ijcar 出版年月：2024年 00月
装丁：PAP 版次：2024. 2024. xv
税込価格：

17,851円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Lecture Notes in Computer Science 14739

Herausgegeben:Benzmueller, Christoph Heule, Marijn Schmidt, Renate A.
出版社：Springer, Berlin; Springer Nature Switzerland; Ijcar 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. 2024. xvi
税込価格：

9,645円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Handbuch Kinder in den ersten drei Jahren

So gelingt Qualität in Krippe, Kita und Tagespflege
Becker-Stoll, Fabienne Niesel, Renate Wertfein, Monika
出版社：Herder, Freiburg 出版年月：2020年 00月
装丁：HRD 版次：2020. 240 S. 246 x 178 mm
税込価格：

9,519円

海外在庫あり 通常２～４週間で出荷