-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science Vol.9035
-
Herausgegeben von Baier, Christel
Tinelli, Cesare
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2015年 04月
装丁：PAP
版次：2015. 2015. xviii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science 10803
-
Herausgegeben von Baier, Christel
Dal Lago, Ugo
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
版次：1st ed. 2018. 2018. xv
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Lecture Notes in Computer Science .10139
-
Herausgegeben von Steffen, Bernhard
Baier, Christel
van den Brand, Mark
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
版次：1st ed. 2017. 2017. xviii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
