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

    による検索結果
  • 1件〜6件(全6件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~4週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~4週間で出荷