-
-
Microcomputer Software for Civil Engineers
-
Falk, Howard
-
出版社：Springer Verlag
出版年月：2012年 03月
装丁：PAP
言語：ENG
版次：Reprint
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Lecture Notes in Computer Science 15153
-
Herausgegeben:Huisman, Marieke
Howar, Falk
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2024年 00月
装丁：PAP
版次：2024. 2024. viii
-
税込価格：
31,362円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Lecture Notes in Computer Science 11119
-
Herausgegeben:Howar, Falk
Barnat, Jiri
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xvi
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
