-
-
Natural Language Processing for Electronic Design Automation
-
Soeken, Mathias (EDT)
Drechsler, Rolf (EDT)
-
出版社：Springer
出版年月：2020年 08月
装丁：HRD
-
税込価格：
12,447円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Specification Level
Concepts, Methods, and Algorithms
-
Soeken, Mathias
Drechsler, Rolf
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 08月
装丁：PAP
版次：Softcover reprint of the original 1st ed. 2015. 2016. viii
-
税込価格：
24,897円
海外在庫あり
通常２～５週間で出荷
-
-
Advanced Boolean Techniques
Selected Papers from the 13th International Workshop on Boolean Problems
-
Herausgegeben:Drechsler, Rolf
Soeken, Mathias
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2020. 2020. viii
-
税込価格：
24,897円
海外在庫あり
通常２～５週間で出荷
-
-
Advanced Boolean Techniques
Selected Papers from the 13th International Workshop on Boolean Problems
-
Herausgegeben von Drechsler, Rolf
Soeken, Mathias
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：HRD
言語：ENG
版次：1st ed. 2020. 2019. viii
-
税込価格：
24,897円
海外在庫あり
通常２～５週間で出荷
-
-
Reversible Computation
11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
Lecture Notes in Computer Science 11497
-
Herausgegeben von Thomsen, Michael Kirkedal
Soeken, Mathias
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
版次：1st ed. 2019. 2019. viii
-
税込価格：
14,438円
海外在庫あり
通常２～５週間で出荷
