-
-
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8573
-
Herausgegeben von Esparza, Javier
Fraigniaud, Pierre
Husfeldt, Thore
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2014年 06月
装丁：PAP
版次：2014. 2014. xxix
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science .10203
-
Herausgegeben von Esparza, Javier
Murawski, Andrzej S.
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. xvii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Lecture Notes in Computer Science 11781
-
Herausgegeben von Chen, Yu-Fang
Cheng, Chih-Hong
Esparza, Javier
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. xi
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
