-
-
Formal Methods for Industrial Critical Systems
20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings
Lecture Notes in Computer Science .9128
-
Herausgegeben von Nunez, Manuel
Guedemann, Matthias
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2015年 05月
装丁：HRD
版次：2015. 2015. xvi
-
税込価格：
11,578円
海外在庫あり
通常２～５週間で出荷
-
-
Computational Collective Intelligence
7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
Lecture Notes in Computer Science .9329
-
Herausgegeben von Nunez, Manuel
Nguyen, Ngoc Thanh
Camacho, David
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2015年 09月
装丁：PAP
版次：1st ed. 2015. 2015. xix
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Computational Collective Intelligence
7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
Lecture Notes in Computer Science .9330
-
Herausgegeben von Nunez, Manuel
Nguyen, Ngoc Thanh
Camacho, David
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2015年 11月
装丁：PAP
版次：1st ed. 2015. 2015. xvii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Software Engineering and Formal Methods
Lecture Notes in Computer Science / Programming and Software Engineering .8368
-
Herausgegeben von Counsell, Steve
Nunez, Manuel
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2014年 04月
装丁：PAP
言語：ENG
版次：2014. 2014. xxv
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
